A foundation for formal reuse of hardware

Melo, Ana Duarte; Barringer, Howard

doi:10.1007/3-540-60385-9_8

Cited by 4 publications

(1 citation statement)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Here only single state processes were accepted as interface and then only abstractions on processes sort was made. Multiple state interfaces can be found for processes related through similarity relations that make abstraction on channels, as shown in [6] A formal reuse of hardware design leads to a decompositional verification of processes. With the reuse of components formally verified, only the new elements being constructed need to be verified.…”

Section: Discussionmentioning

confidence: 99%

Reusing hardware components with single-state processes

Melo

Proceedings. XII Symposium on Integrated Circuits and Systems Design (Cat. No.PR00387)

View full text Add to dashboard Cite

The interest of reuse existing components lies on the idea of reducing the efforts to develop new systems. The best reuse is achieved as no new components are required to be built. Most time, however, this ideal case is not feasible, and at least part of the system is required to be designed. For such cases, the new elements being constructed must be as simple as possible in order to take advantages of the reuse principles.This paper presents a technique to reuse synchronous hardware components as a single level combinational circuit is required to be built. A synchronous process algebra is used to represent hardware components.

show abstract

Section: Discussionmentioning

confidence: 99%

A foundation for formal reuse of hardware

Cited by 4 publications

References 26 publications

Reusing hardware components with single-state processes

Reusing hardware components with single-state processes

Minimising communications of synchronous hardware

On the algebraic reuse of hardware design

Contact Info

Product

Resources

About