Compiling communicating processes into delay-insensitive VLSI circuits
From MaRDI portal
Recommendations
Cites work
Cited in
(23)- On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP
- Verified compilation of communicating processes into clocked circuits
- Program refinement in fair transition systems
- Retargeting a hardware compiler using protocol converters
- Rewriting semantics of production rule sets
- Compositional verification of asynchronous concurrent systems using CADP
- A new explanation of the glitch phenomenon
- Reflections on the future of concurrency theory in general and process calculi in particular
- Elasticity and Petri Nets
- scientific article; zbMATH DE number 3926249 (Why is no real title available?)
- scientific article; zbMATH DE number 3976939 (Why is no real title available?)
- Reconciling fault-tolerant distributed computing and systems-on-chip
- Delay-insensitive pipelined communication on parallel buses
- Verification of asynchronous circuits by BDD-based model checking of Petri nets
- Calculational derivation of a counter with bounded response time and bounded power dissipation
- Asynchronous logic circuits and sheaf obstructions
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
- Partial-order model checking: A guide for the perplexed
- On the susceptibility of QDI circuits to transient faults
- Asynchronous datapaths and the design of an asynchronous adder
- VLSI programming for the compact disc player
- A formal approach to designing delay-insensitive circuits
- Revisiting sequential composition in process calculi
This page was built for publication: Compiling communicating processes into delay-insensitive VLSI circuits
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1102258)
