Timing Performance of Nanometer Digital Circuits under Process Variations by Victor Champac and Jose Garcia Gervacio
Digital Circuits in CλaSH Functional Specifications and Type-Directed Synthesis by Christiaan P.R. Baaij