Journal article icon

Journal article

Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques

Actions


Authors


S. McKeever More by this author
Journal:
Formal Aspects of Computing
Issue:
18
Pages:
120-142
Publication date:
2006
URN:
uuid:25814a09-783a-4621-99e8-71a02eb17c37
Local pid:
cs:2540

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP