Publications
Search

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.