For the most recent entries see the Petri Nets Newsletter.

Hifi: an Environment for the High Level Description and Analysis of VLSI Networks.

van der Hoeven, A.J.; de Lange, A.A.J.; Deprettere, E.F.; Dewilde, P.M.

In: Proceedings of the European Conference on Circuit Theory and Design, 1989, Brighton, UK, pages 629-633. London, UK: IEE, 1989.

Abstract: A new environment is presented for the description and analysis of both synchronous and asynchronous VLSI networks at the top levels of abstraction. Its model is based on two paradigms, the Applicative State Transition concept of Backus, and the theory of single token Time Petri Nets. These paradigms combined provide an effective framework for the high level description, simulation and compilation of VLSI networks. The Design Description Language of the model fully supports the description of parametrized designs through its object-oriented nature.

Keywords: high level description (and) analysis (of) VLSI network; single token time net; applicative state transition concept; object-oriented.

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

Back to the Petri Nets Bibliography