Serafín Olcoz

According to our database, Serafín Olcoz authored at least 8 papers between 1993 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1998

Static Analysis Tools for Soft-Core Reviews and Audits.

Serafín Olcoz, Ana Castellvi, Maria Garcia, Jose Angel Gomez

Proceedings of the 1998 Design, 1998

VHDL Teamwork, Organization Units and Workspace Management.

Serafín Olcoz, Lorenzo Ayuda, Ivan Izaguirre, Olga Peñalba

Proceedings of the 1998 Design, 1998

1995

A Colored Petri Net Model of VHDL.

Serafín Olcoz, José Manuel Colom

Formal Methods Syst. Des., 1995

VHDL virtual prototyping.

Serafín Olcoz, Luis Entrena, Luis Berrojo

Proceedings of the Sixth IEEE International Workshop on Rapid System Prototyping (RSP '95), 1995

An effective system development environment based on VHDL prototyping.

Serafín Olcoz, Luis Entrena, Luis Berrojo

Proceedings of the Proceedings EURO-DAC'95, 1995

1993

Analysis tools applied to VHDL.

Serafín Olcoz, José Manuel Colom

Microprocess. Microprogramming, 1993

Toward a formal semantics of IEEE Std. VHDL 1076.

Serafín Olcoz, José Manuel Colom

Proceedings of the European Design Automation Conference 1993, 1993

A Petri Net Approach for the Analysis of VHDL Descriptions.

Serafín Olcoz, José Manuel Colom

Proceedings of the Correct Hardware Design and Verification Methods, 1993