The design and verification of a high-performance low-control-overhead asynchronous differential equation solver
- 22 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Self-timed adder with pipelined outputPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Automatic synthesis of extended burst-mode circuits using generalized C-elementsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Timing analysis for extended burst-mode circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An evaluation of asynchronous additionIEEE Transactions on Very Large Scale Integration (VLSI) Systems, 1996
- Computing without Clocks: Micropipelining the ARM ProcessorPublished by Springer Nature ,1995
- Symbolic Model CheckingPublished by Springer Nature ,1993
- Trace Algebra for Automatic Verification of Real-Time Concurrent SystemsPublished by Defense Technical Information Center (DTIC) ,1992
- Some New Results on Average Worst Case CarryIEEE Transactions on Computers, 1973