Travelled to:1 × USA
Collaborated with:P.Camurati P.Prinetto M.S.Reorda
Talks about:sequenti (1) circuit (1) model (1) check (1) atpg (1) use (1)
Person: Marco Gilli
DBLP: Gilli:Marco
Contributed to:
1990Wrote 1 papers:
- CAV-1990-CamuratiGPR #model checking #using
- The Use of Model Checking in ATPG for Sequential Circuits (PC, MG, PP, MSR), pp. 86–95.