Volume 1, Number 1/2, 2005
, Niraj K. Jha
: Integrated functional partitioning and synthesis for low power distributed systems of systems-on-a-chip.
: CoreMap: a rapid prototyping environment for distributed reconfigurable systems.
Miroslav N. Velev
, Randal E. Bryant
: TLSim and EVC: a term-level symbolic simulator and an efficient decision procedure for the logic of equality with uninterpreted functions and memories.
Volume 1, Number 3/4, 2005