Kuchinski, K. and Peng, Z. (1985). Microprogramming Implementation of Timed Petri Nets. Technical Report LiTH-IDA-R-85-19, Department of Computer and Information Science, Linköping University, Sweden. Also publ in North-Holland INTEGRATION, the VLSI Journal No 5, 1987. (bibtex),
Abstract: This paper describes a method to implement restricted timed Petri nets by microprograms. These timed Petri nets are used to represent control parts of VLSI systems to produce sequences of control signals that evoke the operations of a corresponding data part. The proposed method consists of a set of transformation algorithms which have been implemented as parts of CAMAD, an integrated design aid system. We have also studied the problem of microprogram optimization, for example, how to reconstruct the control structure of a VLSI system so as to produce better microprograms.
CS Dept TR Overview