Logic Synthesis and Verification Algorithms

LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS by Gary D. Hachtel Universi...

427 downloads 2579 Views 40MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

Recommend Documents

Logic, Automata, and Algorithms Mark A. Aiserman Leonid A. Gusev Lev 1. Rozonoer lrina M. Smirnova Aleksey A. Tal’ Inst...

Embedded System Design Daniel D. Gajski • Samar Abdi Andreas Gerstlauer • Gunar Schirner Embedded System Design Model...

Memory-Based Logic Synthesis Tsutomu Sasao Memory-Based Logic Synthesis ABC Tsutomu Sasao Kyushu Institute of Tec...

SYNTHESIS AND OPTIMIZATION OF DSP ALGORITHMS This page intentionally left blank Synthesis and Optimization of DSP A...

Synthesis and Optimization of DSP Algorithms by George A. Constantinides Imperial College, London Peter Y.K. Cheung I...

SYNTHESIS AND OPTIMIZATION OF DSP ALGORITHMS This page intentionally left blank Synthesis and Optimization of DSP A...

SYNTHESIS AND OPTIMIZATION OF DSP ALGORITHMS This page intentionally left blank Synthesis and Optimization of DSP A...

SYNTHESIS AND OPTIMIZATION OF DSP ALGORITHMS This page intentionally left blank Synthesis and Optimization of DSP A...

THE LOGIC OF CHEMICAL SYNTHESIS E. J. COREY AND XUE-MIN CHELG Department of Chemistry Harvard University Cambridge, Mas...