Search
Now showing items 1-2 of 2
On automated generation of checker units from hardware assertion languages
Publisher: IEEE
Year: 2014
Automatic circuit partitioning for parallel simulation of a power electronic system
Publisher: IEEE
Year: 2014