Concurrency-Oriented Verification and Coverage of System-Level Designs

ACM Transactions on Design Automation of Electronic Systems - United States
doi 10.1145/2003695.2003697
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Efficient Simulation of Synthesis-Oriented System Level Designs

English

A Control-Oriented Coverage Metric and Its Evaluation for Hardware Designs

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2009English

Energy-Efficient High-Level Synthesis for HDR Architectures With Clock Gating Based on Concurrency-Oriented Scheduling

IPSJ Transactions on System LSI Design Methodology
Electronic EngineeringComputer Science ApplicationsElectrical
2013English

System-Level Verification of Embedded Operating Systems Components

2012English

BDD-based Verification of Scalable Designs

Facta universitatis - series: Electronics and Energetics
2007English

Proving Transaction and System-Level Properties of Untimed SystemC TLM Designs

2010English

Component-Oriented Verification of Noninterference

Journal of Systems Architecture
HardwareArchitectureSoftware
2011English

Process Oriented Design for Java: Concurrency for All

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

μC++: Concurrency in the Object-Oriented Language C++

Software - Practice and Experience
Software
1992English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy