Serafín Olcoz

Publication Activity (10 Years)

Years Active: 1993-1998
Publications (10 Years): 0

Publications

Serafín Olcoz, Lorenzo Ayuda, Ivan Izaguirre, Olga Peñalba
VHDL Teamwork, Organization Units and Workspace Management. DATE (1998)
Serafín Olcoz, Ana Castellvi, Maria Garcia, Jose Angel Gomez
Static Analysis Tools for Soft-Core Reviews and Audits. DATE (1998)
Serafín Olcoz, Luis Entrena, Luis Berrojo
An effective system development environment based on VHDL prototyping. EURO-DAC (1995)
Serafín Olcoz, Luis Entrena, Luis Berrojo
VHDL virtual prototyping. RSP (1995)
Serafín Olcoz, José Manuel Colom
A Colored Petri Net Model of VHDL. Formal Methods Syst. Des. 7 (1/2) (1995)
Serafín Olcoz, José Manuel Colom
A Petri Net Approach for the Analysis of VHDL Descriptions. CHARME (1993)
Serafín Olcoz, José Manuel Colom
Analysis tools applied to VHDL. Microprocess. Microprogramming 38 (1-5) (1993)
Serafín Olcoz, José Manuel Colom
Toward a formal semantics of IEEE Std. VHDL 1076. EURO-DAC (1993)