Hifi: an environment for the high level description and analysis of VLSI networks

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 powerful paradigms, the Applicative State Transition concept of Backus, for the functional aspects and the theory of single token Time Petri Nets, for the dynamic aspects of the model. These paradigms combined provide an elegant and 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