Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93, sponsored by IFIP WG10.2 and in cooperation with IEE 1993
DBLP:	db/conf/chdl/chdl1993.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 42  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Michel Allemand. A Rewriting Based Method for the Formal Verification of Microprocessors.	Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93, sponsored by IFIP WG10.2 and in cooperation with IEE 1993	(0)	1993
	Conference paper Roger P. Ang, Nikil D. Dutt. A Representation for the Binding of RT-Component Functionality to HDL Behavior.	Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93, sponsored by IFIP WG10.2 and in cooperation with IEE 1993	(0)	1993
	Conference paper Felice Balarin, Gary York. Verilog HDL Modeling Styles for Formal Verification.	Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93, sponsored by IFIP WG10.2 and in cooperation with IEE 1993	(0)	1993
	Conference paper Mario Barbacci. Real Time Distributed Systems.	Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93, sponsored by IFIP WG10.2 and in cooperation with IEE 1993	(0)	1993
	Conference paper Gregor von Bochmann. Specification Languages for Communication Protocols.	Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93, sponsored by IFIP WG10.2 and in cooperation with IEE 1993	(0)	1993
	Conference paper Bhaskar Bose, Steven D. Johnson, Shyamsundar Pullela. Integrating Boolean Verification with Formal Derivation.	Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93, sponsored by IFIP WG10.2 and in cooperation with IEE 1993	(0)	1993
	Conference paper Klaus Buchenrieder, Alexander Sedlmeier, Christian Veith. HW/SW Co-Design with PRAMs Using CoDES.	Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93, sponsored by IFIP WG10.2 and in cooperation with IEE 1993	(0)	1993
	Conference paper Paolo Camurati, Fulvio Corno, Paolo Prinetto. Exploiting Symbolic Traversal Techniques for Efficient Process Algebra Manipulation.	Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93, sponsored by IFIP WG10.2 and in cooperation with IEE 1993	(0)	1993
	Conference paper Tam Anh Chu, Huy T. Cao, Clement K. C. Leung. ESP: An Executable Specification Language for Mixed Timing Control Circuits.	Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93, sponsored by IFIP WG10.2 and in cooperation with IEE 1993	(0)	1993
	Conference paper Edmund M. Clarke. Automatic Verification of Sequential Circuit Designs.	Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93, sponsored by IFIP WG10.2 and in cooperation with IEE 1993	(0)	1993

Your query returned 42 matches in the database.