BRITO, J. I. B.; http://lattes.cnpq.br/7015600172971804; BRITO, José Iuri Barbosa de.
Résumé:
The diversity of problems and complexities that involve the development of hardware
projects increasingly motivate research and methodologies to overcome challenges imposed
challenges. Thus, this work aims to develop a tool for the integrated generation of
reference Ćow for hardware projects. The tool should be an enabler for the adoption of
the test-driven development methodology through the use of formal properties, as well as
being in line with the standards already adopted in the industry, IEEE 1800 and IEEE
1800.2. The tool developed here was made using a Python language with the practice of
object orientation. In addition, a use case was developed in an arithmetic module with
an AMBA Advanced Perifeal Bus interface, in which the application of the methodology
and the Ćow generated by the tool were observed, proving the efectiveness of the tool for
the proposed objectives.