(V)HDL-based Veri cation of Heterogeneous Synchronous/Asynchronous Systems


The modelling and veri cation of two types of heterogeneous systems is discussed: (i) systems consisting of synchronous subsystems with di erent clocks, and (ii) systems which are composed of synchronous and asynchronous subsystems. Concurrent behaviour is represented in VHDL by means of additional input signals, i.e., \concurrency is additional inputs plus… (More)


5 Figures and Tables

Slides referencing similar topics