Amanote Research
Register
Sign In
Automating the IEEE Std. 1500 Compliance Verification for Embedded Cores
doi 10.1109/hldvt.2007.4392810
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2007
Authors
A. Benso
S. Di Carlo
P. Prinetto
A. Bosio
Publisher
IEEE
Related search
Automating Deductive Verification for Weak-Memory Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automating the Extraction of Rights and Obligations for Regulatory Compliance
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The MPFI Library: Towards IEEE 1788–2015 Compliance
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Deterministic Algorithm for Selective Shunt Active Power Compensators According to IEEE Std. 1459
Energies
Control
Electronic Engineering
Energy Engineering
Renewable Energy
Energy
Fuel Technology
Sustainability
Optimization
Electrical
Power Technology
the Environment
Instantaneous Approach to IEEE Std. 1459 Power Terms and Quality Indices
Electric Power Systems Research
Electronic Engineering
Power Technology
Electrical
Energy Engineering
Architectures and Algorithms for Synthesizable Embedded Programmable Logic Cores
Accessing Embedded DfT Instruments With IEEE P1687
Integration of an IEEE Std. C37.118 Compliant PMU Into a Real-Time Simulator
Automating the Verification of Heritage Building Information Models Created From Point Cloud Data
ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences