Design Rules for Non-Atomic Implementations of PRS
- Creators
- Papadantonakis, Karl
Abstract
Martin Synthesis yields quasi--delay-insensitive (QDI) circuits, expressed in production--rule-set (PRS) form. Under an atomic circuit evaluation model, these circuits are provably correct. However, not all physical circuit implementations provide the atomic transitions needed to satisfy the atomic circuit model. This can cause operational failures in real circuits, as we illustrate. Nonetheless, circuits with non-atomic transitions can faithfully implement the atomic circuit model when combined with a few simple slewtime constraints. To generalize this, we present a non-atomic circuit model, and we prove that any non-atomic circuit satisfying the slewtime constraints implements the atomic circuit model. To synthesize correct physical circuits, therefore, one can use Martin Synthesis assuming atomicity, and then physically implement the resulting circuit using the slewtime constraints as design rules.
Attached Files
Submitted - main.pdf
Files
Name | Size | Download all |
---|---|---|
md5:556ea7d6a7f8328544996df0787cdbce
|
346.7 kB | Preview Download |
Additional details
- Eprint ID
- 27074
- Resolver ID
- CaltechCSTR:2005.001
- Created
-
2005-01-18Created from EPrint's datestamp field
- Updated
-
2019-10-03Created from EPrint's last_modified field
- Caltech groups
- Computer Science Technical Reports
- Series Name
- Computer Science Technical Reports
- Series Volume or Issue Number
- 2005.001