Travelled to:1 × France
Collaborated with:M.A.Peña J.Cortadella E.Pastor
Talks about:complex (1) circuit (1) verif (1) studi (1) ipcmo (1) time (1) case (1)
Person: Alexander B. Smirnov
DBLP: Smirnov:Alexander_B=
Contributed to:
2002Wrote 1 papers:
- DATE-2002-PenaCSP #case study #verification
- A Case Study for the Verification of Complex Timed Circuits: IPCMOS (MAP, JC, ABS, EP), pp. 44–51.