CoSA: Integrated Verification for Agile Hardware Design

Fig. 1. AHA Flow CoSA was developed as a tool for verifying correctness at various stages of the toolflow in the Agile Hardware (AHA) Project at Stanford University [18]. This project aims to improve performance and design productivity by incorporat-ing ideas from agile software development to speed up the development cycle. ................
................