TLM-Driven Design and Verification MethodologyBrian Bailey, Felice Balarin, Michael McNamara, Guy Mosenson, Michael Stellfox · First published 2010Open the Tome
Synchronous equivalenceHarry Hsieh, Felice Balarin, Alberto L. Sangiovanni-Vincentelli · First published 2001Open the Tome
Hardware-software co-design of embedded systemsFelice Balarin, F. Balarin, Paolo Di Giusto, Attila Jurecska, Claudio Passerone, Ellen Sentovich, Bassam Tabbara, M. Chiodo, Harry Hsieh, Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Kei Suzuki · First published 1997Open the Tome
