For the most recent entries see the Petri Nets Newsletter.

Automatic Verification of Speed-Independent Circuits with Petri Net Specifications.

Dill, David L.; Nowick, Steven M.; Sproull, Robert F.

In: Proceedings of the IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1989, Cambridge, MA, USA, pages 212-216. Piscataway, NJ, USA: IEEE Service Center, 1989.

Abstract: Asynchronous designs are of increasing interest because of the cost of broadcasting clocks over large areas of a chip. A tool for comparing implementations of speed-independent circuits with specifications is described. Petri nets are used throughout as a user-level description language. These are translated into trace structures, which can then be processed by an existing automatic verifier. This tool is applied to a nontrivial self-timed queue design.

Keywords: automatic verification (of) speed-independent circuit; net (as) user-level description language; trace structure; self-timed queue design; verification tool.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography