An Algebra for Delay-Insensitive Circuits
Abstract elided by the publisher.
Related papers
- Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits CAV 1991
- Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits CAV 2012
- AMulet 2.0 for Verifying Multiplier Circuits TACAS 2021
- Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra PLDI 2026
- On Circuit Description Languages, Indexed Monads, and Resource Analysis POPL 2026
- How Many Quantum Circuit Identities Are Needed to Generate All Others? CAV 2026
- Citrus: Algebraic Reasoning about Superconductor Electronics ICFP 2026
- Type and Behaviour Reconstruction for Higher-Order Concurrent Programs JFP 1997