Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation (NATO Science Series E: (closed)) | lit.salon