Journal article icon

Journal article

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

Actions


Authors


Journal:
Formal Aspects of Computing
Issue:
18
Pages:
120-142
Publication date:
2006-01-01
URN:
uuid:25814a09-783a-4621-99e8-71a02eb17c37
Local pid:
cs:2540

Terms of use


Metrics


Views and Downloads






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

TO TOP