4074 search results - page 355 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
173
click to vote
ACSD
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...
168
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
175
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
— The communication sub-system of complex IC systems is increasingly critical for achieving system performance. Given this, it is important that the on-chip communication archite...
153
click to vote
DATE
2003
IEEE
16 years 1 days ago
2003
IEEE
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...
158
click to vote
BROADNETS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract — In order to perform valid experiments, traffic generators used in network simulators and testbeds require up to date models of traffic as it exists on real network lin...