Marco Boschini

According to our database, Marco Boschini authored at least 3 papers between 2000 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2001

Sequential Circuit Test Generation Using a Symbolic/Genetic Hybrid Approach.

Franco Fummi, Marco Boschini, Xiaoming Yu, Elizabeth M. Rudnick

J. Electron. Test., 2001

Concrete Impact of Formal Verification on Quality in IP Design and Implementation.

Umberto Rossi, Andrea Fedeli, Marco Boschini, Franco Toto

Proceedings of the 2nd International Symposium on Quality of Electronic Design (ISQED 2001), 2001

2000

Combining symbolic and genetic techniques for efficient sequential circuit test generation.

Marco Boschini, Xiaoming Yu, Franco Fummi, Elizabeth M. Rudnick

Proceedings of the 5th European Test Workshop, 2000