Travelled to:1 × France
1 × USA
Collaborated with:A.Mishchenko R.K.Brayton V.N.Kravets N.Eén P.Chauhan N.Sharma
Talks about:sequenti (2) observ (1) under (1) canon (1) semi (1) node (1) merg (1) form (1) aig (1)
Person: Michael L. Case
DBLP: Case:Michael_L=
Contributed to:
2013
2008Wrote 2 papers:
- DATE-2013-MishchenkoEBCCS
- A semi-canonical form for sequential AIGs (AM, NE, RKB, MLC, PC, NS), pp. 797–802.
- DAC-2008-CaseKMB
- Merging nodes under sequential observability (MLC, VNK, AM, RKB), pp. 540–545.