Be the first to like this
Hardware development is complex and the cost of errors extremely high. The use of specication and
verication technologies is critical to managing the correctness and complexity of the systems being developed.
Bluespec is a declarative hardware description language (HDL) that solves a number of the problems
associated with translating a specication to a synthesisable form for hardware implementation.
Combining Bluespec development with formal specication with B offers a sophisticated verication environment with the associated reduction in development errors.