This paper suggests tools that provide significant improvements in the design and verification of FPGAbased digital circuits. These tools include reusable specifications of hardware components (modules) that have been proposed for two types of CAD environments;
Valery Sklyarov, Iouliia Skliarova, Pedro Almeida,