Journal: Formal Methods in System Design

Volume 5, Issue 3

183 -- 205Shuvra S. Bhattacharyya, Edward A. Lee. Looped Schedules for Dataflow Descriptions of Multirate Signal Processing Algorithms
207 -- 225David M. Goldschlag. Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits
227 -- 244Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs. A Structural Linearization Principle for Processes
245 -- 273Radhakrishna Nagalla, Graham R. Hellestrand. Signal Transition Graph Constraints for Synthesis of Hazard-Free Asynchronous Circuits with Unbounded-Gate Delays