skip to content
Electronic design automation : synthesis, verification, and test Preview this item
ClosePreview this item
Checking...

Electronic design automation : synthesis, verification, and test

Author: Laung-Terng Wang; Yao-Wen Chang; Kwang-Ting Cheng
Publisher: Amsterdam ; Boston : Morgan Kaufmann/Elsevier, ©2009.
Series: Morgan Kaufmann series in systems on silicon.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:

Covers the spectrum of the Electronic Design Automation (EDA) flow, from ESL design modeling to logic/test synthesis, verification, physical design, and test. This book contains the advancements,  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Electronic design automation.
Amsterdam ; Boston : Morgan Kaufmann/Elsevier, ©2009
(DLC) 2008041788
(OCoLC)228364702
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Laung-Terng Wang; Yao-Wen Chang; Kwang-Ting Cheng
ISBN: 9780080922003 0080922007
OCLC Number: 433173319
Description: 1 online resource (xxxv, 934 pages) : illustrations.
Contents: Chapter 1: Introduction Chapter 2: Fundamentals of CMOS Design Chapter 3: Design for Testability Chapter 4: Fundamentals of Algorithms Chapter 5: Electronic System-Level Design and High-Level Synthesis Chapter 6: Logic Synthesis in a Nutshell Chapter 7: Test Synthesis Chapter 8: Logic and Circuit Simulation Chapter 9: Functional Verification Chapter 10: Floorplanning Chapter 11: Placement Chapter 12: Global and Detailed Routing Chapter 13: Synthesis of Clock and Power/Ground Networks Chapter 14: Fault Simulation and Test Generation.
Series Title: Morgan Kaufmann series in systems on silicon.
Responsibility: edited by Laung-Terng Wang, Yao-Wen Chang, Kwang-Ting (Tim) Cheng.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/433173319> # Electronic design automation : synthesis, verification, and test
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "433173319" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1044071824#Place/amsterdam> ; # Amsterdam
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
    rdfs:comment "Warning: This malformed URI has been treated as a string - 'http://images.contentreserve.com/ImageType-100/1706-1/{4487494C-6686-4E2F-9471-38465187254C}Img100.jpg'" ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1044071824#Topic/technology_&_engineering_electronics_circuits_logic> ; # TECHNOLOGY & ENGINEERING--Electronics--Circuits--Logic
    schema:about <http://experiment.worldcat.org/entity/work/data/1044071824#Topic/computer_aided_design> ; # Computer-aided design
    schema:about <http://experiment.worldcat.org/entity/work/data/1044071824#Topic/technology_&_engineering_electronics_circuits_vlsi_&_ulsi> ; # TECHNOLOGY & ENGINEERING--Electronics--Circuits--VLSI & ULSI
    schema:about <http://experiment.worldcat.org/entity/work/data/1044071824#Topic/computers_logic_design> ; # COMPUTERS--Logic Design
    schema:about <http://dewey.info/class/621.395/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1044071824#Topic/electronic_circuit_design_data_processing_computer_aided_design> ; # Electronic circuit design--Data processing. Computer-aided design
    schema:about <http://id.loc.gov/authorities/subjects/sh85042278> ; # Electronic circuit design--Data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/1044071824#Topic/electronic_circuit_design_data_processing> ; # Electronic circuit design--Data processing
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/83592317> ; # Yao-Wen Chang
    schema:contributor <http://viaf.org/viaf/60965710> ; # Laung-Terng Wang
    schema:contributor <http://viaf.org/viaf/53256222> ; # Kwang-Ting Cheng
    schema:copyrightYear "2009" ;
    schema:datePublished "2009" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1044071824> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1044071824#Series/morgan_kaufmann_series_in_systems_on_silicon> ; # Morgan Kaufmann series in systems on silicon.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1044071824#Series/the_morgan_kaufmann_series_in_systems_on_silicon> ; # The Morgan Kaufmann series in systems on silicon
    schema:isSimilarTo <http://www.worldcat.org/oclc/228364702> ;
    schema:name "Electronic design automation : synthesis, verification, and test"@en ;
    schema:productID "433173319" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/433173319#PublicationEvent/amsterdam_boston_morgan_kaufmann_elsevier_2009> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1044071824#Agent/morgan_kaufmann_elsevier> ; # Morgan Kaufmann/Elsevier
    schema:url <https://www.overdrive.com/search?q=4487494C-6686-4E2F-9471-38465187254C> ;
    schema:url <http://app.knovel.com/hotlink/toc/id:kpEDASVT02/electronic-design-automation> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=248990> ;
    schema:url <http://site.ebrary.com/id/10286074> ;
    schema:url "http://images.contentreserve.com/ImageType-100/1706-1/{4487494C-6686-4E2F-9471-38465187254C}Img100.jpg" ;
    schema:url <http://www.myilibrary.com?id=254215> ;
    schema:url <http://dproxy.library.dc-uoit.ca/login?url=http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=248990> ;
    schema:url <https://samples.overdrive.com/?crid=4487494C-6686-4E2F-9471-38465187254C&.epub-sample.overdrive.com> ;
    schema:workExample <http://worldcat.org/isbn/9780080922003> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/433173319> ;
    .


Related Entities

<http://dbpedia.org/resource/Boston> # Boston
    a schema:Place ;
    schema:name "Boston" ;
    .

<http://dproxy.library.dc-uoit.ca/login?url=http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=248990>
    rdfs:comment "eBook available for Durham College via EBSCOhost. Click link to access" ;
    .

<http://experiment.worldcat.org/entity/work/data/1044071824#Agent/morgan_kaufmann_elsevier> # Morgan Kaufmann/Elsevier
    a bgn:Agent ;
    schema:name "Morgan Kaufmann/Elsevier" ;
    .

<http://experiment.worldcat.org/entity/work/data/1044071824#Series/morgan_kaufmann_series_in_systems_on_silicon> # Morgan Kaufmann series in systems on silicon.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/433173319> ; # Electronic design automation : synthesis, verification, and test
    schema:name "Morgan Kaufmann series in systems on silicon." ;
    .

<http://experiment.worldcat.org/entity/work/data/1044071824#Series/the_morgan_kaufmann_series_in_systems_on_silicon> # The Morgan Kaufmann series in systems on silicon
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/433173319> ; # Electronic design automation : synthesis, verification, and test
    schema:name "The Morgan Kaufmann series in systems on silicon" ;
    .

<http://experiment.worldcat.org/entity/work/data/1044071824#Topic/computer_aided_design> # Computer-aided design
    a schema:Intangible ;
    schema:name "Computer-aided design"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1044071824#Topic/computers_logic_design> # COMPUTERS--Logic Design
    a schema:Intangible ;
    schema:name "COMPUTERS--Logic Design"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1044071824#Topic/electronic_circuit_design_data_processing> # Electronic circuit design--Data processing
    a schema:Intangible ;
    schema:name "Electronic circuit design--Data processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1044071824#Topic/electronic_circuit_design_data_processing_computer_aided_design> # Electronic circuit design--Data processing. Computer-aided design
    a schema:Intangible ;
    schema:name "Electronic circuit design--Data processing. Computer-aided design"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1044071824#Topic/technology_&_engineering_electronics_circuits_logic> # TECHNOLOGY & ENGINEERING--Electronics--Circuits--Logic
    a schema:Intangible ;
    schema:name "TECHNOLOGY & ENGINEERING--Electronics--Circuits--Logic"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1044071824#Topic/technology_&_engineering_electronics_circuits_vlsi_&_ulsi> # TECHNOLOGY & ENGINEERING--Electronics--Circuits--VLSI & ULSI
    a schema:Intangible ;
    schema:name "TECHNOLOGY & ENGINEERING--Electronics--Circuits--VLSI & ULSI"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85042278> # Electronic circuit design--Data processing
    a schema:Intangible ;
    schema:name "Electronic circuit design--Data processing"@en ;
    .

<http://viaf.org/viaf/53256222> # Kwang-Ting Cheng
    a schema:Person ;
    schema:birthDate "1961" ;
    schema:familyName "Cheng" ;
    schema:givenName "Kwang-Ting" ;
    schema:name "Kwang-Ting Cheng" ;
    .

<http://viaf.org/viaf/60965710> # Laung-Terng Wang
    a schema:Person ;
    schema:familyName "Wang" ;
    schema:givenName "Laung-Terng" ;
    schema:name "Laung-Terng Wang" ;
    .

<http://viaf.org/viaf/83592317> # Yao-Wen Chang
    a schema:Person ;
    schema:birthDate "1966" ;
    schema:familyName "Chang" ;
    schema:givenName "Yao-Wen" ;
    schema:name "Yao-Wen Chang" ;
    .

<http://worldcat.org/isbn/9780080922003>
    a schema:ProductModel ;
    schema:isbn "0080922007" ;
    schema:isbn "9780080922003" ;
    .

<http://www.worldcat.org/oclc/228364702>
    a schema:CreativeWork ;
    rdfs:label "Electronic design automation." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/433173319> ; # Electronic design automation : synthesis, verification, and test
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.