A Petri Net Approach for the Analysis of VHDL Descriptions. - Serafín Olcoz; José Manuel Colom (CHARME, 1993)

Toward a formal semantics of IEEE Std. VHDL 1076. - Serafín Olcoz; José Manuel Colom (EURO-DAC, 1993)

Analysis tools applied to VHDL. - Serafín Olcoz; José Manuel Colom (Microprocess. Microprogramming, 1993)

An effective system development environment based on VHDL prototyping. - Serafín Olcoz; Luis Entrena; Luis Berrojo (EURO-DAC, 1995)

VHDL virtual prototyping. - Serafín Olcoz; Luis Entrena; Luis Berrojo (RSP, 1995)

A Colored Petri Net Model of VHDL. - Serafín Olcoz; José Manuel Colom (Formal Methods Syst. Des., 1995)

VHDL Teamwork, Organization Units and Workspace Management. - Serafín Olcoz; Lorenzo Ayuda; Ivan Izaguirre; Olga Peñalba (DATE, 1998)

Static Analysis Tools for Soft-Core Reviews and Audits. - Serafín Olcoz; Ana Castellvi; Maria Garcia; Jose Angel Gomez (DATE, 1998)