Semi-symbolic modeling and simulation of circuits and systems.

Darius Grabowski, Christoph Grimm, Erich Barke

Browse the full ISCAS paper archive.