Learn More
Designing safety critical systems is a complex task due to the need of guaranteeing that the resulting model can cope with all the functional and non-functional requirements of the system. Obtaining such guarantees is only possible with the use of model verification techniques. This paper presents an approach aimed to fulfill the needs of critical system(More)
Designing safety critical systems is a complex task due to the need of guaranteeing that the resulting model can cope with all the functional and non-functional requirements of the system. Obtaining such guarantees is only possible with the use of model verification techniques. This paper presents an approach aimed to fulfill the needs of critical system(More)
1 Carlos Augusto P. S. Martins, Pontifical Catholic University of Minas Gerais, Prof. Informatics Institute and Post-Graduation Program in Electrical Engineering, Belo Horizonte, MG, Brazil capsm@pucminas.br Abstract We present a new learning method of microprocessor architecture based on design and verification using functional simulation. Our main goals(More)