|
|
|
|
LEADER |
05243nam a2200613 a 4500 |
001 |
3278 |
005 |
20081107134249.0 |
006 |
m e d |
007 |
cr cn |||m|||a |
008 |
081011s2006 caua fsab 000 0 eng d |
020 |
# |
# |
|a 1598291076 (electronic bk.)
|
020 |
# |
# |
|a 9781598291070 (electronic bk.)
|
020 |
# |
# |
|a 1598291068 (pbk.)
|
020 |
# |
# |
|a 9781598291063 (pbk.)
|
024 |
7 |
# |
|a 10.2200/S00060ED1V01Y200610DCS006
|2 doi
|
035 |
# |
# |
|a 73796751 (OCLC)
|
035 |
# |
# |
|a (CaBNvSL)gtp00531446
|
040 |
# |
# |
|a CaBNvSL
|c CaBNvSL
|d CaBNvSL
|
050 |
# |
4 |
|a TK7868.L6
|b R445 2006
|
082 |
0 |
4 |
|a 621.395
|2 22
|
100 |
1 |
# |
|a Reese, Robert B.
|d 1958-
|q (Robert Bryan),
|
245 |
1 |
0 |
|a Introduction to logic synthesis using Verilog HDL
|c Robert B. Reese, Mitchell A. Thornton.
|h [electronic resource] /
|
250 |
# |
# |
|a 1st ed.
|
260 |
# |
# |
|a San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) :
|b Morgan & Claypool Publishers,
|c c2006.
|
300 |
# |
# |
|a 1 electronic text (vii, 75 p. : ill.) :
|b digital file.
|
490 |
1 |
# |
|a Synthesis lectures on digital circuits and systems,
|v #6
|x 1932-3174 ;
|
500 |
# |
# |
|a Part of: Synthesis digital library of engineering and computer science.
|
500 |
# |
# |
|a Series from website.
|
500 |
# |
# |
|a Title from PDF t.p. (viewed on October 11, 2008).
|
504 |
# |
# |
|a Includes bibliographical references (p. 73).
|
505 |
0 |
# |
|a Digital logic review with Verilog quickstart -- Learning objectives -- Logic synthesis introduction and motivation -- Combinational logic in Verilog -- Assign statements -- Always procedural blocks -- Combinational building blocks in Verilog -- Multibit/multiinput muxes, Verilog hierarchical design and bus notation -- Addition, subtraction -- Multiplication, division -- Shifting -- Tri-state logic -- Sequential logic in Verilog -- One-bit storage elements -- DFF chains -- Asynchronous versus synchronous inputs -- Registers, counters, and shift registers -- Event-driven simulation and Verilog -- Event-driven simulation basics -- Timing considerations -- Presynthesis versus postsynthesis simulation -- Blocking versus nonblocking assignments and synthesis -- Verilog coding guidelines -- Summary -- Synchronous sequential circuit design -- Learning objectives -- Sequential circuits -- Sequential circuit motivation -- Synchronizing signals: the clock -- Synchronous sequential circuit architectures -- Contents -- Models of finite state machines -- Basics of algorithmic state machine (ASM) charts -- The ASM chart model and an example controller -- The state diagram model -- State assignment -- Low-level models of controllers -- State equations -- State tables -- Controller circuit analysis -- Mealy and Moore machine conversion -- Mealy to Moore machine conversion -- Moore to Mealy conversion -- State machine equivalence -- Verilog descriptions of synchronous sequential circuits -- Example Verilog descriptions -- Verilog descriptions for the Mealy machine model of an example controller -- Verilog descriptions for the Moore machine model of an example controller -- Summary -- Biography.
|
506 |
# |
# |
|a Abstract freely available; full-text restricted to subscribers or individual document purchasers.
|
510 |
0 |
# |
|a Compendex
|
510 |
0 |
# |
|a INSPEC
|
510 |
0 |
# |
|a Google scholar
|
510 |
0 |
# |
|a Google book search
|
520 |
# |
# |
|a Introduction to Logic Synthesis Using Verilog HDL explains how to write accurate Verilog descriptions of digital systems that can be synthesized into digital system net lists with desirable characteristics. The book contains numerous Verilog examples that begin with simple combinational networks and progress to synchronous sequential logic systems. Common pitfalls in the development of synthesizable Verilog HDL are also discussed along with methods for avoiding them. The target audience is any one with a basic understanding of digital logic principles who wishes to learn how to model digital systems in the Verilog HDL in a manner that also allows for automatic synthesis. A wide range of readers, from hobbyists and undergraduate students to seasoned professionals, will find this a compelling and approachable work. This book provides concise coverage of the material and includes many examples, enabling readers to quickly generate high-quality synthesizable Verilog models.
|
530 |
# |
# |
|a Also available in print.
|
538 |
# |
# |
|a Mode of access: World Wide Web.
|
538 |
# |
# |
|a System requirements: Adobe Acrobat Reader.
|
650 |
# |
0 |
|a Logic design
|x Computer programs.
|
650 |
# |
0 |
|a Verilog (Computer hardware description language)
|
650 |
# |
0 |
|a Electronic digital computers
|x Design and construction.
|
650 |
# |
0 |
|a Computer hardware description languages.
|
690 |
# |
# |
|a Verilog.
|
690 |
# |
# |
|a Digital System Design.
|
690 |
# |
# |
|a Digital Logic Synthesis.
|
690 |
# |
# |
|a HDL (Hardware Description Language)
|
690 |
# |
# |
|a Combinational Logic.
|
690 |
# |
# |
|a Sequential Logic.
|
700 |
1 |
# |
|a Thornton, Mitchell Aaron.
|
730 |
0 |
# |
|a Synthesis digital library of engineering and computer science.
|
830 |
# |
0 |
|a Synthesis lectures on digital circuits and systems (Online) ;
|v #6.
|
856 |
4 |
2 |
|u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.2200/S00060ED1V01Y200610DCS006
|3 Abstract with links to full text
|