- MIT Press
IEEE Online
ACM: Association for Computing Machinery
http://www.acm.org
Journal of the ACM
http://www.acm.org/jacm
Search the bibiliographies
http://theory.lcs.mit.edu:80/~dmjones/hbp/bibsearch.html
IEE: The Institute of Electrical and Electronics Engineers
IEE Journals
http://www.iee.org.uk/publish/journals
IEEE: The Institute of Electrical and Electronics Engineers
IEEE Transactions on CAD of IC and Systems
http://www.ieee.org/pub_preview/cad_toc.html
IEEE Computer Society
http://www.computer.org
IEEE Transactions on Computers
http://www.computer.org/tc/
IEEE Transactions on VLSI Systems
http://microsys6.engr.utk.edu/~tvlsi
University of Southern California
Department of Electrical Engineering
http://www.usc.edu/dept/ee
OBDD Heuristics Online
http://kalliope.uni-trier.de/~wagner/html/bdd_html/index.html
http://www.crcg.edu/Staff/rbarton/research.nps/obdd_stuff.html
http://al.cs.engr.uky.edu/~lewis/research/obdd.html
Asynchronous Logic
http://www.cs.man.ac.uk/async
Static Hazards
Purdue University
http://min.ecn.purdue.edu/~taylor/ee266/hazards.html
Contemporary Logic Design
University of California at Berkeley
http://www.cs.berkeley.edu/~randy/CLD/chapter3/chapter03.doc.html
http://www.cs.berkeley.edu/~randy/CLD/CLD.html
The University of Southern California does not screen or control the content on this website and thus does not guarantee the accuracy, integrity, or quality of such content. All content on this website is provided by and is the sole responsibility of the person from which such content originated, and such content does not necessarily reflect the opinions of the University administration or the Board of Trustees