PSL: Beyond Hardware Verification
| Autor: | Mark Moulin, Ziv Glazberg, Avigail Orni, Emmanuel Zarpas, Sitvanit Ruah |
|---|---|
| Rok vydání: | 2007 |
| Předmět: |
Engineering
Finite-state machine business.industry Business process ComputerApplications_COMPUTERSINOTHERSYSTEMS General-purpose language Integrated circuit design Automation Variety (cybernetics) Property Specification Language Electronics business Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION computer Computer hardware computer.programming_language |
| Zdroj: | Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems ISBN: 9781402062537 |
| DOI: | 10.1007/978-1-4020-6254-4_19 |
| Popis: | In recent years, the language PSL (Property Specification Language, a.k.a. IEEE P1850) has been embraced and put to successful use by chip design/verification engineers across the electronics industry. While PSL is mainly used for hardware ver- ification, it can, in fact, be used to verify a wide variety of systems, including missile interception systems, railway interlocking protocols, system automation policies, and even business processes. We discuss and exemplify how PSL can be used as a general purpose language for the specification of models and properties, beyond hardware systems. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|