NOBRE, S. B.; http://lattes.cnpq.br/8028799728984502; NOBRE, Saul Borges.
Resumo:
The IP veriĄcation environment generator is a tool that should aid veriĄers in order to
automate the process of implementing a textit stub version of the environment. This is
based on the use of information contained in a Ąle and on determining a pattern to be
followed for the textit stub environment. The generated environment has a common and
widely used standard and was implemented using the Java.