Test generation for digital systems
Fault-tolerant computing: theory and techniques; vol. 1
On behavior fault modeling for digital designs
Journal of Electronic Testing: Theory and Applications
Simulation of communication systems
Simulation of communication systems
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Specification and design of embedded systems
Specification and design of embedded systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Programming in Ada95
Cosimulation of real-time control systems
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Design and use of a system-level specification and verification methodology
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Automatic generation of functional vectors using the extended finite state machine model
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Evolving algebras 1993: Lipari guide
Specification and validation methods
The semantics of the C++ programming language
Specification and validation methods
Efficient software performance estimation methods for hardware/software codesign
DAC '96 Proceedings of the 33rd annual Design Automation Conference
A strategy for real-time kernel support in application-specific HW/SW embedded architectures
DAC '96 Proceedings of the 33rd annual Design Automation Conference
DAC '97 Proceedings of the 34th annual Design Automation Conference
Performance analysis of a system of communicating processes
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Hardware-software co-design of embedded systems: the POLIS approach
Hardware-software co-design of embedded systems: the POLIS approach
Integrating communication protocol selection with partitioning in hardware/software codesign
Proceedings of the 11th international symposium on System synthesis
Bus-based communication synthesis on system level
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Graph based communication analysis for hardware/software codesign
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
A formal semantics for Verilog-VHDL simulation interoperability by abstract state machine
DATE '99 Proceedings of the conference on Design, automation and test in Europe
Synthesis of embedded software using free-choice Petri nets
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Performance estimation for embedded systems with data and control dependencies
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
Code compression as a variable in hardware/software co-design
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
Surviving the SOC revolution: a guide to platform-based design
Surviving the SOC revolution: a guide to platform-based design
Operating system based software generation for systems-on-chip
Proceedings of the 37th Annual Design Automation Conference
Application-specific memory management for embedded systems using software-controlled caches
Proceedings of the 37th Annual Design Automation Conference
System-level data format exploration for dynamically allocated data structures
Proceedings of the 37th Annual Design Automation Conference
Fast performance analysis of bus-based system-on-chip communication architectures
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
Proceedings of the conference on Design, automation and test in Europe
The simulation semantics of systemC
Proceedings of the conference on Design, automation and test in Europe
Generation of minimal size code for scheduling graphs
Proceedings of the conference on Design, automation and test in Europe
Proceedings of the conference on Design, automation and test in Europe
SystemC: a homogenous environment to test embedded systems
Proceedings of the ninth international symposium on Hardware/software codesign
Hardware/software partitioning of embedded system in OCAPI-xl
Proceedings of the ninth international symposium on Hardware/software codesign
A trace transformation technique for communication refinement
Proceedings of the ninth international symposium on Hardware/software codesign
Retargetable compilation for low power
Proceedings of the ninth international symposium on Hardware/software codesign
A design framework to efficiently explore energy-delay tradeoffs
Proceedings of the ninth international symposium on Hardware/software codesign
Utilizing memory bandwidth in DSP embedded processors
Proceedings of the 38th annual Design Automation Conference
Proceedings of the 38th annual Design Automation Conference
Chaff: engineering an efficient SAT solver
Proceedings of the 38th annual Design Automation Conference
IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
Software synthesis from synchronous specifications using logic simulation techniques
Proceedings of the 39th annual Design Automation Conference
Proceedings of the 39th annual Design Automation Conference
Proceedings of the 39th annual Design Automation Conference
Component-based design approach for multicore SoCs
Proceedings of the 39th annual Design Automation Conference
A framework for evaluating design tradeoffs in packet processing architectures
Proceedings of the 39th annual Design Automation Conference
System Design with SystemC
The Designer's Guide to VHDL
Understanding Digital Signal Processing
Understanding Digital Signal Processing
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Symbolic Model Checking
Art of Software Testing
Code Generation for Embedded Processors
Code Generation for Embedded Processors
Co-Synthesis of Hardware and Software for Digital Embedded Systems
Co-Synthesis of Hardware and Software for Digital Embedded Systems
Hardware/Software CO-Design: Principles and Practice
Hardware/Software CO-Design: Principles and Practice
Advanced Techniques for Embedded Systems Design and Test
Advanced Techniques for Embedded Systems Design and Test
Formal Semantics for VHDL
OFDM for Wireless Multimedia Communications
OFDM for Wireless Multimedia Communications
Designing and Coding Reusable C++
Designing and Coding Reusable C++
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
The VERILOG Hardware Description Language
The VERILOG Hardware Description Language
Embedded Software Development with eCos
Embedded Software Development with eCos
The formal execution semantics of SpecC
Proceedings of the 15th international symposium on System Synthesis
Software-assisted cache replacement mechanisms for embedded systems
Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design
What's Ahead for Embedded Software?
Computer
Behavioral-Level Fault Simulation
IEEE Design & Test
A Hardware-Software Real-Time Operating System Framework for SoCs
IEEE Design & Test
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation
MFCS '98 Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science
Fault Injection in VHDL Descriptions and Emulation
DFT '00 Proceedings of the 15th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems
Comparison and Application of Different VHDL-Based Fault Injection Techniques
DFT '01 Proceedings of the 16th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems
AMLETO: a multi-language environment for functional test generation
Proceedings of the IEEE International Test Conference 2001
A validation fault model for timing-induced functional errors
Proceedings of the IEEE International Test Conference 2001
Testability Analysis and ATPG on Behavioral RT-Level VHDL
Proceedings of the IEEE International Test Conference
Optimizing communication in embedded system co-simulation
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
VERIFY: Evaluation of Reliability Using VHDL-Models with Embedded Fault Descriptions
FTCS '97 Proceedings of the 27th International Symposium on Fault-Tolerant Computing (FTCS '97)
RSP '96 Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96)
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
An Object Oriented Programming Approach for Hardware Design
WVLSI '99 Proceedings of the IEEE Computer Society Workshop on VLSI'99
A Genetic Testing Framework for Digital Integrated Circuits
ICTAI '02 Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence
Grammar-based Hardware Synthesis of Data Communication Protocols
ISSS '96 Proceedings of the 9th international symposium on System synthesis
Functional Verification for SystemC Descriptions Using Constraint Solving
Proceedings of the conference on Design, automation and test in Europe
Proceedings of the conference on Design, automation and test in Europe
On Nanoscale Integration and Gigascale Complexity in the Post .Com World
Proceedings of the conference on Design, automation and test in Europe
Global Responsibilities in SOC Design
Proceedings of the conference on Design, automation and test in Europe
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
Systemic Embedded Software Generation from SystemC
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Formal Semantics of Synchronous SystemC
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
SystemC-AMS Requirements, Design Objectives and Rationale
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Refinement of Mixed-Signal Systems with SystemC
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
A Mixed Abstraction Level Co-Simulation Case Study Using SystemC for System on Chip Verification
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe: Designers' Forum - Volume 2
Simulation-based word-length optimization method for fixed-pointdigital signal processing systems
IEEE Transactions on Signal Processing
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Fault emulation: A new methodology for fault grading
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
System-level design: orthogonalization of concerns and platform-based design
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
System-level performance analysis for designing on-chip communication architectures
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Hi-index | 0.00 |