Serafín Olcoz

VHDL virtual prototyping

Luis Entrena, Luis Berrojo, Serafín Olcoz, 1995, Proceedings Sixth IEEE International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype.

A Petri Net Approach for the Analysis of VHDL Descriptions

José Manuel Colom, Serafín Olcoz, 1993, CHARME.

VHDL teamwork, organization units and workspace management

Serafín Olcoz, Olga Peñalba, Lorenzo Ayuda, 1998, Proceedings Design, Automation and Test in Europe.

Analysis tools applied to VHDL

José Manuel Colom, Serafín Olcoz, 1993, Microprocess. Microprogramming.

Static analysis tools for soft-core reviews and audits

Maria Garcia, Serafín Olcoz, Ana Castellvi, 1998, Proceedings Design, Automation and Test in Europe.

A Colored Petri Net model of VHDL

José Manuel Colom, Serafín Olcoz, 1995, Formal Methods Syst. Des..

An effective system development environment based on VHDL prototyping

Luis Entrena, Luis Berrojo, Serafín Olcoz, 1995, Proceedings of EURO-DAC. European Design Automation Conference.

VHDL Formal Modeling and Analysis

Luis Entrena, Serafín Olcoz, Juan Goicolea, 1997 .

A Formal Model of VHDL Using Coloured Petri Nets

Serafín Olcoz, 1995 .

Toward a formal semantics of IEEE Std. VHDL 1076

José Manuel Colom, Serafín Olcoz, J. Colom, 1993, Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference.

Reusing IPS to Implement a Sparc® Soc

Denis Navarro, Serafín Olcoz, Alfredo Gutiérrez, 2001 .