Academic Journal
Synthesis of Regular Expressions Revisited: From PSL SEREs to Hardware.
| Τίτλος: | Synthesis of Regular Expressions Revisited: From PSL SEREs to Hardware. |
|---|---|
| Συγγραφείς: | Javaheri, Fatemeh Negin, Morin-Allory, Katell, Borrione, Dominique |
| Πηγή: | IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems; May2017, Vol. 36 Issue 5, p869-882, 14p |
| Θεματικοί όροι: | Electric circuits, Debugging, Programming languages, Temporal integration, Engineering systems -- Computer simulation, Mathematical models |
| Περίληψη: | We revisit the specification of control circuits and protocols written as regular expressions, and propose a synthesizable subset of the sequences that can be written in the property specification language and system Verilog assertions standards. We give a formal semantics of the sequence operators that can directly be interpreted in terms of circuits, and provide a modular method to achieve the automatic generation of compliant hardware from specifications written as temporal sequences. The method also generates assertions to check the completeness and consistency of the specifications. Results obtained on classical benchmarks show the efficiency of our technique. Finally, we discuss the applications of our prototype tool in an assertion-based verification flow. [ABSTRACT FROM AUTHOR] |
| Copyright of IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems is the property of IEEE and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Βάση Δεδομένων: | Complementary Index |
καταχωρήστε σχόλιο πρώτοι!