Correct hardware synthesis
From MaRDI portal
Publication:766178
DOI10.1007/S00236-011-0142-YzbMATH Open1234.68067OpenAlexW2023293472MaRDI QIDQ766178FDOQ766178
Authors: Augusto Sampaio, Juliano Iyoda, Juan Perna, Jim Woodcock
Publication date: 23 March 2012
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-011-0142-y
Recommendations
Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Unifying theories for logic programming
- Title not available (Why is that?)
- A Theory of Pointers for the UTP
- The laws of Occam programming
- An algebraic approach to compiler design
- Compiler specification and verification
- Normal form approach to compiler design
- An algebraic approach to the design of compilers for object-oriented languages
- An algebraic approach to the VERILOG programming.
- A demonstrably correct compiler
- Verified bytecode verifiers.
- A constructive approach to hardware/software partitioning
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (8)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Mechanised wire-wise verification of Handel-C synthesis
- Mechanised wire-wise verification of Handel-C synthesis
- Title not available (Why is that?)
- Geometry of synthesis. IV: Compiling affine recursion into static hardware
- Geometry of synthesis. II: From games to delay-insensitive circuits
- An approach to the specification and verification of a hardware compilation scheme
Uses Software
This page was built for publication: Correct hardware synthesis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q766178)