A foundation for formal reuse of hardware
ACV de Melo, H Barringer - … Design and Verification Methods: IFIP WG …, 1995 - Springer
ACV de Melo, H Barringer
Correct Hardware Design and Verification Methods: IFIP WG 10.5 Advanced …, 1995•SpringerThis paper presents a basis for the formal reuse of hardware components as a strategy to
reduce the task of verifying new hardware elements. Assuming the existence of a library of
formally verified hardware components, we propose to make effective reuse of these existing
elements when creating new ones. The strategy used is to formally create an interface
element with which an existing hardware component is composed in order to implement a
new desired component. In doing so, the verification task of the whole system is reduced to …
reduce the task of verifying new hardware elements. Assuming the existence of a library of
formally verified hardware components, we propose to make effective reuse of these existing
elements when creating new ones. The strategy used is to formally create an interface
element with which an existing hardware component is composed in order to implement a
new desired component. In doing so, the verification task of the whole system is reduced to …
Abstract
This paper presents a basis for the formal reuse of hardware components as a strategy to reduce the task of verifying new hardware elements. Assuming the existence of a library of formally verified hardware components, we propose to make effective reuse of these existing elements when creating new ones. The strategy used is to formally create an interface element with which an existing hardware component is composed in order to implement a new desired component. In doing so, the verification task of the whole system is reduced to verifying the interface element.
Springer
Showing the best result for this search. See all results