Marco Boschini

Publication Activity (10 Years)

Years Active: 2000-2001
Publications (10 Years): 0

Publications

Umberto Rossi, Andrea Fedeli, Marco Boschini, Franco Toto
Concrete Impact of Formal Verification on Quality in IP Design and Implementation. ISQED (2001)
Franco Fummi, Marco Boschini, Xiaoming Yu, Elizabeth M. Rudnick
Sequential Circuit Test Generation Using a Symbolic/Genetic Hybrid Approach. J. Electron. Test. 17 (3-4) (2001)
Marco Boschini, Xiaoming Yu, Franco Fummi, Elizabeth M. Rudnick
Combining symbolic and genetic techniques for efficient sequential circuit test generation. ETW (2000)