Verifying Synchronous Reactive Systems Programmed in ESTEREL. - Amar Bouali; Jean-Paul Marmorat; Robert de Simone; Horia Toma (FTRTFT, 1996)

Latch optimization in circuits generated from high-level descriptions. - Ellen Sentovich; Horia Toma; Gérard Berry (ICCAD, 1996)

Efficient Latch Optimization Using Exclusive Sets. - Ellen Sentovich; Horia Toma; Gérard Berry (DAC, 1997)

Anton 2: Raising the Bar for Performance and Programmability in a Special-Purpose Molecular Dynamics Supercomputer. - David E. Shaw; J. P. Grossman; Joseph A. Bank; Brannon Batson; J. Adam Butts; Jack C. Chao; Martin M. Deneroff; Ron O. Dror; Amos Even; Christopher H. Fenton; Anthony Forte; Joseph Gagliardo; et al. (SC, 2014)

In-Datacenter Performance Analysis of a Tensor Processing Unit. - Norman P. Jouppi; Cliff Young; Nishant Patil; David A. Patterson 001; Gaurav Agrawal; Raminder Bajwa; Sarah Bates; Suresh Bhatia; Nan Boden; Al Borchers; Rick Boyle; Pierre-luc Cantin; et al. (ISCA, 2017)

In-Datacenter Performance Analysis of a Tensor Processing Unit. - Norman P. Jouppi; Cliff Young; Nishant Patil; David A. Patterson 001; Gaurav Agrawal; Raminder Bajwa; Sarah Bates; Suresh Bhatia; Nan Boden; Al Borchers; Rick Boyle; Pierre-luc Cantin; et al. (CoRR, 2017)