| 000 | 03248nam a22005535i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-57685-5 | ||
| 003 | DE-He213 | ||
| 005 | 20210201191510.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 170621s2018 gw | s |||| 0|eng d | ||
| 020 |
_a9783319576855 _9978-3-319-57685-5 |
||
| 050 | 4 | _aTK7888.4 | |
| 072 | 7 |
_aTJFC _2bicssc |
|
| 072 | 7 |
_aTEC008010 _2bisacsh |
|
| 072 | 7 |
_aTJFC _2thema |
|
| 082 | 0 | 4 |
_a621.3815 _223 |
| 245 | 1 | 0 |
_aFormal System Verification _h[electronic resource] : _bState-of the-Art and Future Trends / _cedited by Rolf Drechsler. |
| 250 | _a1st ed. 2018. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2018. |
|
| 300 |
_aXVI, 182 p. 71 illus., 49 illus. in color. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 500 | _aAcceso multiusuario | ||
| 505 | 0 | _aFormal Techniques for Verification and Coverage Analysis of Analog Systems -- Verification of Incomplete Designs -- Probabilistic Model Checking: Advances and Applications -- Software in a Hardware View -- Formal Verification - The Industrial Perspective. | |
| 520 | _aThis book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies. Provides latest results on formal methods along the complete design flow; Covers different abstraction layers, from ESL to RTL; Addresses formal verification in both digital and analog contexts; Demonstrates techniques in current industrial use. | ||
| 541 |
_fUABC ; _cTemporal ; _d01/01/2021-12/31/2023. |
||
| 650 | 0 | _aElectronic circuits. | |
| 650 | 0 | _aMicroprocessors. | |
| 650 | 0 | _aElectronics. | |
| 650 | 0 | _aMicroelectronics. | |
| 650 | 1 | 4 |
_aCircuits and Systems. _0https://scigraph.springernature.com/ontologies/product-market-codes/T24068 |
| 650 | 2 | 4 |
_aProcessor Architectures. _0https://scigraph.springernature.com/ontologies/product-market-codes/I13014 |
| 650 | 2 | 4 |
_aElectronics and Microelectronics, Instrumentation. _0https://scigraph.springernature.com/ontologies/product-market-codes/T24027 |
| 700 | 1 |
_aDrechsler, Rolf. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319576831 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319576848 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319862231 |
| 856 | 4 | 0 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-319-57685-5 |
| 912 | _aZDB-2-ENG | ||
| 912 | _aZDB-2-SXE | ||
| 942 | _cLIBRO_ELEC | ||
| 999 |
_c244157 _d244156 |
||