๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[ACM Press the 48th Design Automation Conference - San Diego, California (2011.06.05-2011.06.10)] Proceedings of the 48th Design Automation Conference on - DAC '11 - Formal hardware/software co-verification by interval property checking with abstraction

โœ Scribed by Nguyen, Minh D.; Wedler, Markus; Stoffel, Dominik; Kunz, Wolfgang

Book ID
121014802
Publisher
ACM Press
Year
2011
Weight
350 KB
Category
Article
ISBN
1450306365

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[ACM Press the 48th Design Automation Co
[ACM Press the 48th Design Automation Conference - San Diego, California (2011.06.05-2011.06.10)] Proceedings of the 48th Design Automation Conference on - DAC '11 - Formal hardware/software co-verification by interval property checking with abstraction
โœ Nguyen, Minh D.; Wedler, Markus; Stoffel, Dominik; Kunz, Wolfgang ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› ACM Press โš– 350 KB

Ensuring functional correctness of hardware and software is a bottleneck in every design process of Embedded Systems. This paper proposes an approach to formally verify low-level software in conjunction with the hardware. The proposed approach is based on Interval Property Checking (IPC) that has pr