这是现在应用比较广泛的pads2005的logic的教材,非常有用的资料!
THE DESCRIPTION LOGIC HANDBOOK:
Theory, implementation, and applications
Mathematical Logic and the Foundations of Mathematics - An Introductory Survey Author: G. T. Kneebone Part I Mathematical Logic Part II Foundations of Mathematics Part III Philosophy of Mathematic
How ToHow To Manage Allocation Logic Scripts in BPC for Microsoft Platform.pdf
Introduction to Logic Synthesis using Verilog HDL.pdf