Articles On Electronic Design Automation, Including: Boolean Satisfiability Problem, Edif, Netlist, Digital Electronics, Schematic, Systems Design, La door Hephaestus Books