LEADER 02989nam a22005775i 4500
001 814472
003 TR_AnAIT
005 20260130215515
007 cr nn 008mamaa
008 100301s2004 xxu| s |||| 0|eng d
020 |a9781402025303|9978-1-4020-2530-3
024 7 |a10.1007/b105236|2doi
041 |aeng
049 |aTürk Tarih Kurumu Kütüphanesi
050 4|aB1-5802
072 7|aHP|2bicssc
072 7|aPHI000000|2bisacsh
072 7|aQD|2thema
082 04|a100|223
090 |aDK/15711
245 10|aAdvanced Formal Verification|h[electronic resource] /|cedited by Rolf Drechsler.
250 |a1st ed. 2004.
264 1|aNew York, NY :|bSpringer US :|bImprint: Springer,|c2004.
300 |aXXVI, 250 p.|bonline resource.
336 |atext|btxt|2rdacontent
337 |acomputer|bc|2rdamedia
338 |aonline resource|bcr|2rdacarrier
347 |atext file|bPDF|2rda
505 0 |aWhat SAT-solvers Can and Cannot Do -- Advancements in Mixed BDD and SAT Techniques -- Equivalence Checking of Arithmetic Circuits -- Application of Property Checking and Underlying Techniques -- Assertion-Based Verification -- Formal Verification for Nonlinear Analog Systems: Approaches to Model and Equivalence Checking.
520 |aAdvanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today's verification tools and describe various scenarios from industrial practice. In the first part of the book the core techniques of today's formal verification tools, such as SAT and BDDs are addressed. In addition, multipliers, which are known to be difficult, are studied. The second part gives insight in professional tools and the underlying methodology, such as property checking and assertion based verification. Finally, analog components have to be considered to cope with complete system on chip designs.
650 0|aPhilosophy.
650 0|aComputer-aided engineering.
650 0|aArtificial intelligence.
650 0|aElectrical engineering.
650 0|aComputer science.
650 0|aComputer science|xMathematics.
650 14|aPhilosophy.
650 24|aComputer-Aided Engineering (CAD, CAE) and Design.
650 24|aArtificial Intelligence.
650 24|aElectrical and Electronic Engineering.
650 24|aTheory of Computation.
650 24|aSymbolic and Algebraic Manipulation.
700 1 |aDrechsler, Rolf.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
710 2 |aSpringerLink (Online service)
773 0 |tSpringer Nature eBook
776 08|iPrinted edition:|z9781402077210
776 08|iPrinted edition:|z9781441954206
776 08|iPrinted edition:|z9781475779851
856 40|uhttps://doi.org/10.1007/b105236
912 |aZDB-2-SHU
912 |aZDB-2-SXPR
912 |aZDB-2-BAE
950 |aHumanities, Social Sciences and Law (SpringerNature-11648)
950 |aPhilosophy and Religion (R0) (SpringerNature-43725)