✦ LIBER ✦

Automatic design verification software for BRAVO!

Book ID: 107744338
Publisher: Elsevier Science
Year: 1986
Tongue: English
Weight: 119 KB
Volume: 18
Category: Article
ISSN: 0010-4485
DOI: 10.1016/0010-4485(86)90276-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automatic Verification of Safety Rules f

Automatic Verification of Safety Rules for a Subway Control Software

✍ Nelson Guimarães Ferreira; Paulo Sérgio Muniz Silva 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 325 KB

Automatic Verification of Static Policie

Automatic Verification of Static Policies on Software Process Models

✍ Rodrigo Quites Reis; Carla Alessandra Lima Reis; Heribert Schlebbe; Daltro José 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 761 KB

Backward compatibility of software inter

Backward compatibility of software interfaces: Steps towards automatic verification

✍ A. Ponomarenko, V. Rubanov 📂 Article 📅 2012 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 143 KB

Automatic verification of library-based

Automatic verification of library-based IC designs

✍ Kostelijk, T.; De Loore, B. 📂 Article 📅 1991 🏛 IEEE 🌐 English ⚖ 948 KB

J-Automatic Welding Robot Software Desig

J-Automatic Welding Robot Software Design

✍ Song, Hai Feng; Lv, Xiao Qing; Hu, Sheng Sun 📂 Article 📅 2011 🏛 Trans Tech Publications, Ltd. 🌐 English ⚖ 238 KB

Co-Verification of Hardware and Software

Co-Verification of Hardware and Software for ARM SoC Design

✍ Jason Andrews 📂 Library 📅 2005 🏛 Elsevier 🌐 English ⚖ 3 MB

Hardware/software co-verification is how to make sure that embedded system software works correctly with the hardware, and that the hardware has been properly designed to run the software successfully -before large sums are spent on prototypes or manufacturing.This is the first book to apply this ve