Robert P. Dick, Niraj K. Jha COWLS: hardware-software cosynthesis of wireless low-power distributed embedded client-server systems. [Citation Graph (0, 0)][DBLP] IEEE Trans. on CAD of Integrated Circuits and Systems, 2004, v:23, n:1, pp:2-16 [Journal]
Ingo Sander, Axel Jantsch System modeling and transformational design refinement in ForSyDe [formal system design]. [Citation Graph (0, 0)][DBLP] IEEE Trans. on CAD of Integrated Circuits and Systems, 2004, v:23, n:1, pp:17-32 [Journal]
Robert K. Thalhammer, Gerhard K. M. Wachutka Physically rigorous modeling of internal laser-probing techniques for microstructured semiconductor devices. [Citation Graph (0, 0)][DBLP] IEEE Trans. on CAD of Integrated Circuits and Systems, 2004, v:23, n:1, pp:60-70 [Journal]
Göran Jerke, Jens Lienig Hierarchical current-density verification in arbitrarily shaped metallization patterns of analog circuits. [Citation Graph (0, 0)][DBLP] IEEE Trans. on CAD of Integrated Circuits and Systems, 2004, v:23, n:1, pp:80-90 [Journal]
Leendert M. Huisman Diagnosing arbitrary defects in logic designs using single location at a time (SLAT). [Citation Graph (0, 0)][DBLP] IEEE Trans. on CAD of Integrated Circuits and Systems, 2004, v:23, n:1, pp:91-101 [Journal]