Are Cells Asynchronous Circuits? - (Invited Talk)
No abstract available.
Related papers
- Scalable formal design methods for asynchronous VLSI POPL 2002
- Verified Software Toolchain - (Invited Talk) ESOP 2011
- Singularity: Designing Better Software (Invited Talk) CAV 2008
- Quality Engineering: Leveraging Heterogeneous Information - (Invited Talk) VMCAI 2011
- Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk) APLAS 2004
- Formal Analysis of Message Passing - (Invited Talk) VMCAI 2011
- Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation - (Invited Talk) VMCAI 2011
- Internal Deployment of the Parfait Static Code Analysis Tool at Oracle - (Invited Talk) APLAS 2013