Learn More
Dependency graphs are used to model data and control ow in hardware and software design. In high-level synthesis of hardware, optimization and reenement transformations are used to transform dependency-graph-based speciications at the behavior level to dependency-graph-based implementations at the register-transfer level. Register-transfer-level(More)
The complexity of the Fibre Channel protocol poses a challenge to design its implementation " right-the-first-time ". In this work we have investigated the formal specification and mechanical verification of the Fibre Channel Protocol to address issues of correctness. We present abstract models of the FC-2 layer protocols in SpecCharts and the automated(More)
  • 1