On Mixed Abstraction, Languages, and Simulation Approach to Refinement With SystemC AMS

Eurasip Journal on Embedded Systems - United States
doi 10.1155/2010/489365
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

SystemC-AMS Requirements, Design Objectives and Rationale

English

Analogue and Mixed-Signal Extension to SystemC

IEE Proceedings - Circuits, Devices and Systems
2005English

Component-Based Abstraction and Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

A Conservative Approach to SystemC Parallelization

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Monotonic Abstraction-Refinement for CTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Mixed-Signal Extensions for SystemC

English

On Abstraction Refinement for Program Analyses in Datalog

2013English

Early Power Estimation in Heterogeneous Designs Using SoCLib and SystemC-AMS

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Closed-Loop Verification of Medical Devices With Model Abstraction and Refinement

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy