Franco Fummi

Hiren D. Patel

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality.

[BibT_eX]

[DOI]

Proceedings of the IECON 2022, 2022

I-SPLIT: Deep Network Interpretability for Split Computing.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Pattern Recognition, 2022

Toward Smart Doors: A Position Paper.

[BibT_eX]

[DOI]

Proceedings of the Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges, 2022

Inferring Mechanical Fault Models from the Electrical Domain.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Conference on Industrial Cyber-Physical Systems, 2022

A Framework for Modeling and Concurrently Simulating Mechanical and Electrical Faults in Verilog-AMS.

[BibT_eX]

[DOI]

Proceedings of the Forum on Specification & Design Languages, 2022

On the Impact of Transport Times in Flexible Job Shop Scheduling Problems.

[BibT_eX]

[DOI]

Damiano Carra

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

A Software Architecture to Control Service-Oriented Manufacturing Systems.

[BibT_eX]

[DOI]

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

Process Dynamics-Aware Flexible Manufacturing for Industry 4.0.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

2021

Virtual Prototyping a Production Line Using Assume-Guarantee Contracts.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2021

SystemC Implementation of Stochastic Petri Nets for Simulation and Parameterization of Biological Networks.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2021

Holding Conferences Online in Pandemic Times: The DATE Experience.

[BibT_eX]

[DOI]

Ian O'Connor

IEEE Des. Test, 2021

Multi-Discipline Fault Modeling with Verilog-AMS.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Industrial Cyber-Physical Systems, 2021

A Design Methodology of Multi-level Digital Twins.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Industrial Technology, 2021

DOHMO: Embedded Computer Vision in Co-Housing Scenarios.

[BibT_eX]

[DOI]

Proceedings of the 24th Forum on specification & Design Languages, 2021

A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures.

[BibT_eX]

[DOI]

Proceedings of the 24th Forum on specification & Design Languages, 2021

Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0.

[BibT_eX]

[DOI]

Proceedings of the 24th Forum on specification & Design Languages, 2021

A Common Manipulation Framework for Transistor-Level Languages.

[BibT_eX]

[DOI]

Proceedings of the 24th Forum on specification & Design Languages, 2021

Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

Predictive Fault Grouping based on Faulty AC Matrices.

[BibT_eX]

[DOI]

Proceedings of the 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2021

2020

Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2020

Functionality and Fault Modeling of a DC Motor with Verilog-AMS.

[BibT_eX]

[DOI]

Nicola Dall'Ora

Proceedings of the 18th IEEE International Conference on Industrial Informatics, 2020

The Design of a Digital-Twin for Predictive Maintenance.

[BibT_eX]

[DOI]

Nicola Dall'Ora

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Production Recipe Validation through Formalization and Digital Twin Generation.

[BibT_eX]

[DOI]

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Network Synthesis for Industry 4.0.

[BibT_eX]

[DOI]

Alan Michael Padovani

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Late Breaking Results: Enabling Containerized Computing and Orchestration of ROS-based Robotic SW Applications on Cloud-Server-Edge Architectures.

[BibT_eX]

[DOI]

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019

A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors.

[BibT_eX]

[DOI]

Daniele Jahier Pagliari

Enrico Macii

Massimo Poncino

ACM Trans. Design Autom. Electr. Syst., 2019

Compositional Design of Multi-Robot Systems Control Software on ROS.

[BibT_eX]

[DOI]

Sudipta Chattopadhyay

ACM Trans. Embed. Comput. Syst., 2019

Translation, Abstraction and Integration for Effective Smart System Design.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2019

Conference Reports: Recap of DATE 2019 in Florence, Italy.

[BibT_eX]

[DOI]

Jürgen Teich

IEEE Des. Test, 2019

Industrial-IoT Data Analysis Exploiting Electronic Design Automation Techniques.

[BibT_eX]

[DOI]

Nicola Dall'Ora

Proceedings of the IEEE 8th International Workshop on Advances in Sensors and Interfaces, 2019

A Contract-based Methodology for Production Lines Validation.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0.

[BibT_eX]

[DOI]

Proceedings of the 2019 Forum for Specification and Design Languages, 2019

Efficient Simulation and Parametrization of Stochastic Petri Nets in SystemC: A Case study from Systems Biology.

[BibT_eX]

[DOI]

Proceedings of the 2019 Forum for Specification and Design Languages, 2019

Automatic Parameterization of the Purine Metabolism Pathway through Discrete Event-based Simulation.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, 2019

On the Simulation and Automatic Parametrization of Metabolic Networks Through Electronic Design Automation.

[BibT_eX]

[DOI]

Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2019

2018

Pro++: A Profiling Framework for Primitive-Based GPU Programming.

[BibT_eX]

[DOI]

IEEE Trans. Emerg. Top. Comput., 2018

Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Network Synthesis for Distributed Embedded Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2018

Cyber-Physical Systems Integration in a Production Line Simulator.

[BibT_eX]

[DOI]

Marco Panato

Proceedings of the IFIP/IEEE International Conference on Very Large Scale Integration, 2018

A Framework for the Design and Simulation of Embedded Vision Applications Based on OpenVX and ROS.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2018

Simulation-based Holistic Functional Safety Assessment for Networked Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 2018 Forum on Specification & Design Languages, 2018

Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms.

[BibT_eX]

[DOI]

Proceedings of the 2018 Forum on Specification & Design Languages, 2018

Efficient Simulation of Faults in Networked Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design of Circuits and Integrated Systems, 2018

Automatic integration of cycle-accurate descriptions with continuous-time models for cyber-physical virtual platforms.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Introducing assume-guarantee contracts for verifying robotic applications: work-in-progress.

[BibT_eX]

[DOI]

Sudipta Chattopadhyay

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2018

2017

Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Hardware/Software Codesign., 2017

A Layered Methodology for the Simulation of Extra-Functional Properties in Smart Systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017

Cyber-physical virtual platforms: Techniques for sensors integration.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Workshop on Advances in Sensors and Interfaces, 2017

Fault analysis in analog circuits through language manipulation and abstraction.

[BibT_eX]

[DOI]

Proceedings of the 2017 Forum on Specification and Design Languages, 2017

Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces.

[BibT_eX]

[DOI]

Proceedings of the Languages, Design Methods, and Tools for Electronic System Design, 2017

Automatic generation of cycle-accurate Simulink blocks from hdl ips.

[BibT_eX]

[DOI]

Proceedings of the 2017 Forum on Specification and Design Languages, 2017

A homogeneous framework for AMS languages instrumentation, abstraction and simulation.

[BibT_eX]

[DOI]

Luca Piccolboni

Proceedings of the 22nd IEEE European Test Symposium, 2017

Automatic abstraction of multi-discipline analog models for efficient functional simulation.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Analog fault testing through abstraction.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Power-aware Performance Tuning of GPU Applications Through Microbenchmarking.

[BibT_eX]

[DOI]

Proceedings of the 54th Annual Design Automation Conference, 2017

Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling.

[BibT_eX]

[DOI]

Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

2016

Erratum to "Model-Driven Design of Network Aspects of Distributed Embedded Systems".

[BibT_eX]

[DOI]

Emad Ebeid

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

Code Manipulation for Virtual Platform Integration.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2016

MIPP: A microbenchmark suite for performance, power, and energy consumption characterization of GPU architectures.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

A SystemC-based platform for assertion-based verification and mutation analysis in systems biology.

[BibT_eX]

[DOI]

Proceedings of the 17th Latin-American Test Symposium, 2016

A unifying flow to ease smart systems integration.

[BibT_eX]

[DOI]

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

SyQUAL: a platform for qualitative modelling and simulation of biological systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

A fine-grained performance model for GPU architectures.

[BibT_eX]

[DOI]

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015

A Methodology to Recover RTL IP Functionality for Automatic Generation of SW Applications.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2015

Model-Driven Design of Network Aspects of Distributed Embedded Systems.

[BibT_eX]

[DOI]

Mirella Negro Marcigaglia

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015

A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection.

[BibT_eX]

[DOI]

Sensors, 2015

Simulation alternatives for the verification of networked cyber-physical systems.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2015

Reusing RTL Assertion Checkers for Verification of SystemC TLM Models.

[BibT_eX]

[DOI]

J. Electron. Test., 2015

HDL code generation from UML/MARTE sequence diagrams for verification and synthesis.

[BibT_eX]

[DOI]

Emad Ebeid

Des. Autom. Embed. Syst., 2015

An Enhanced Profiling Framework for the Analysis and Development of Parallel Primitives for GPUs.

[BibT_eX]

[DOI]

Proceedings of the IEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2015

A SystemC Platform for Signal Transduction Modelling and Simulation in Systems Biology.

[BibT_eX]

[DOI]

Proceedings of the 25th edition on Great Lakes Symposium on VLSI, GLVLSI 2015, Pittsburgh, PA, USA, May 20, 2015

Extensions to the UML profile for MARTE for distributed embedded systems.

[BibT_eX]

[DOI]

Julio L. Medina

Proceedings of the 2015 Forum on Specification and Design Languages, 2015

2014

Testbench Qualification of SystemC TLM Protocols through Mutation Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2014

A framework for design space exploration and performance analysis of networked embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 2014 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, 2014

Hardware Synthesis from Software-Oriented UML Descriptions.

[BibT_eX]

[DOI]

Francesco Martinelli

Mirella Negro Marcigaglia

Proceedings of the 15th International Microprocessor Test and Verification Workshop, 2014

On the reuse of RTL assertions in SystemC TLM verification.

[BibT_eX]

[DOI]

Proceedings of the 15th Latin American Test Workshop, 2014

An open-source framework for formal specification and simulation of electrical energy systems.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Low Power Electronics and Design, 2014

Multi-domain simulation as a foundation for the engineering of smart systems: Challenges and the SMAC vision.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Electronics, Circuits and Systems, 2014

Simulation Alternatives for Modeling Networked Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

A cross-level verification methodology for digital IPs augmented with embedded timing monitors.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Moving from co-simulation to simulation for effective smart systems design.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Panel: Future SoC verification methodology: UVM evolution or revolution?

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Dynamic Modeling and Simulation of Leukocyte Integrin Activation through an Electronic Design Automation Framework.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2014

2013

Semi-Automatic Generation of Device Drivers for Rapid Embedded Platform Development.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013

UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2013

On the integration of model-driven design and dynamic assertion-based verification for embedded software.

[BibT_eX]

[DOI]

J. Syst. Softw., 2013

On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation.

[BibT_eX]

[DOI]

J. Electron. Test., 2013

A Toolchain for UML-based Modeling and Simulation of Networked Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Computer Modelling and Simulation, 2013

Automatic Network Protocol Synthesis from UML Sequence Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 14th International Workshop on Microprocessor Test and Verification, 2013

Communication Alternatives Exploration in Model-Driven Design of Networked Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 14th International Workshop on Microprocessor Test and Verification, 2013

Code generation alternatives to reduce heterogeneous embedded systems to homogeneity.

[BibT_eX]

[DOI]

Proceedings of the 2013 Forum on specification and Design Languages, 2013

Model-driven design for the development of multi-platform smartphone applications.

[BibT_eX]

[DOI]

G. Botturi

Proceedings of the 2013 Forum on specification and Design Languages, 2013

RTL IP abstraction into optimized embedded software.

[BibT_eX]

[DOI]

Proceedings of the East-West Design & Test Symposium, 2013

Efficient fault simulation through dynamic binary translation for dependability analysis of embedded software.

[BibT_eX]

[DOI]

Davide Ferraretto

Proceedings of the 18th IEEE European Test Symposium, 2013

UML-Based Modeling and Simulation of Environmental Effects in Networked Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

On the use of GP-GPUs for accelerating compute-intensive EDA applications.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2013

A method to abstract RTL IP blocks into C++ code and enable high-level synthesis.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

On the automatic generation of GPU-oriented software applications from RTL IPs.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2013

2012

Time-Constraint-Aware Optimization of Assertions in Embedded Software.

[BibT_eX]

[DOI]

Viacheslav Izosimov

J. Electron. Test., 2012

On the Reuse of TLM Mutation Analysis at RTL.

[BibT_eX]

[DOI]

J. Electron. Test., 2012

FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction.

[BibT_eX]

[DOI]

J. Electron. Test., 2012

HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2012

A formal support for homogeneous simulation of heterogeneous embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Microprocessor Test and Verification, 2012

On the Reuse of RTL IPs for SysML Model Generation.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Microprocessor Test and Verification, 2012

Accurate profiling of oracles for self-checking time-constrained embedded software.

[BibT_eX]

[DOI]

Simone Bronuzzi

Proceedings of the 2012 IEEE International High Level Design Validation and Test Workshop, 2012

The strange pair: IP-XACT and univerCM to integrate heterogeneous embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International High Level Design Validation and Test Workshop, 2012

Energy aware TLM platform simulation via RTL abstraction.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International High Level Design Validation and Test Workshop, 2012

On the automatic synthesis of parallel SW from RTL models of hardware IPs.

[BibT_eX]

[DOI]

Proceedings of the Great Lakes Symposium on VLSI 2012, 2012

Combining dynamic slicing and mutation operators for ESL correction.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE European Test Symposium, 2012

Generation of VHDL Code from UML/MARTE Sequence Diagrams for Verification and Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

On the use of assertions for embedded-software dynamic verification.

[BibT_eX]

[DOI]

Proceedings of the IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2012

Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification.

[BibT_eX]

[DOI]

Proceedings of the IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2012

Enabling dynamic assertion-based verification of embedded software through model-driven design.

[BibT_eX]

[DOI]

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Refinement of UML/MARTE models for the design of networked embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

FAST-GP: An RTL functional verification framework based on fault simulation on GP-GPUs.

[BibT_eX]

[DOI]

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution.

[BibT_eX]

[DOI]

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

SAGA: SystemC acceleration on GPU architectures.

[BibT_eX]

[DOI]

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

Dynamic property mining for embedded software.

[BibT_eX]

[DOI]

Marco Bonato

Masahiro Fujita

Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

Reduced-Complexity Transition-Fault Test Generation for Non-scan Circuits through High-Level Mutant Injection.

[BibT_eX]

[DOI]

Krishnendu Chakrabarty

Proceedings of the 21st IEEE Asian Test Symposium, 2012

2011

Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2011

Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs.

[BibT_eX]

[DOI]

J. Electron. Test., 2011

Communication-aware middleware-based design-space exploration for Networked Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP 19th International Conference on VLSI and System-on-Chip, 2011

Reusing of Properties after Discretization of Hybrid Automata.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Microprocessor Test and Verification, 2011

EFSM-based model-driven approach to concolic testing of system-level design.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Mutation analysis for SystemC designs at TLM.

[BibT_eX]

[DOI]

Proceedings of the 12th Latin American Test Workshop, 2011

Communication-aware design flow for dependable networked embedded systems.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2011), 2011

Model-driven design and validation of embedded software.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Automation of Software Test, 2011

Interactive presentation abstract: Assertion-based verification in embedded-software design.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International High Level Design Validation and Test Workshop, 2011

UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International High Level Design Validation and Test Workshop, 2011

Interactive presentation abstract: Reusing of properties after discretization of hybrid automata.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International High Level Design Validation and Test Workshop, 2011

Efficient implementation and abstraction of systemc data types for fast simulation.

[BibT_eX]

[DOI]

Proceedings of the 2011 Forum on Specification & Design Languages, 2011

Optimization of Assertion Placement in Time-Constrained Embedded Systems.

[BibT_eX]

[DOI]

Masahiro Fujita

Proceedings of the 16th European Test Symposium, 2011

Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction.

[BibT_eX]

[DOI]

Proceedings of the 16th European Test Symposium, 2011

Automatic Interface Generation for Component Reuse in HW-SW Partitioning.

[BibT_eX]

[DOI]

Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

2010

System/network design-space exploration based on TLM for networked embedded systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2010

HIFSuite: Tools for HDL Code Conversion and Manipulation.

[BibT_eX]

[DOI]

Alessandro Venturelli

EURASIP J. Embed. Syst., 2010

Model checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE/IFIP VLSI-SoC 2010, 2010

Network-adaptive management of computation energy in wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Mutation analysis with high-level decision diagrams.

[BibT_eX]

[DOI]

Proceedings of the 11th Latin American Test Workshop, 2010

DDPSL: An easy way of defining properties.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Computer Design, 2010

Semi-formal functional verification by EFSM traversing via NuSMV.

[BibT_eX]

[DOI]

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010

HIFSuite: Tools for HDL code conversion and manipulation.

[BibT_eX]

[DOI]

Alessandro Venturelli

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010

Automatic synthesis of OSCI TLM-2.0 models into RTL bus-based IPs.

[BibT_eX]

[DOI]

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010

Modeling of Communication Infrastructure for Design-Space Exploration.

[BibT_eX]

Proceedings of the 2010 Forum on specification & Design Languages, 2010

Exploration of Network Alternatives for Middleware-centric Embedded System Design.

[BibT_eX]

[DOI]

Proceedings of the 13th Euromicro Conference on Digital System Design, 2010

Vacuity analysis for property qualification by mutation of checkers.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2010

RTOS-aware refinement for TLM2.0-based HW/SW designs.

[BibT_eX]

[DOI]

Markus Becker

Proceedings of the Design, Automation and Test in Europe, 2010

Abstraction of RTL IPs into embedded software.

[BibT_eX]

[DOI]

Proceedings of the 47th Design Automation Conference, 2010

2009

A cosimulation methodology for HW/SW validation and performance estimation.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2009

Mixing Simulated and Actual Hardware Devices to Validate Device Drivers in a Complex Embedded Platform.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Microprocessor Test and Verification, 2009

On the Mutation Analysis of SystemC TLM-2.0 Standard.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Microprocessor Test and Verification, 2009

A SystemC-centric approach for simulation and generation of WSN applications targeted to ZigBee.

[BibT_eX]

[DOI]

Proceedings of the 6th Annual International Conference on Mobile and Ubiquitous Systems: Computing, 2009

The role of mutation analysis for property qualification.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

Time-Varying Network Fault Model for the Design of Dependable Networked Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th Euromicro Conference on Digital System Design, 2009

On the Functional Qualification of a Platform Model.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 2009

The impact of EFSM composition on functional ATPG.

[BibT_eX]

[DOI]

Davide Bresolin

Tiziano Villa

Proceedings of the 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2009

Networked embedded system applications design driven by an abstract middleware environment.

[BibT_eX]

[DOI]

Giovanni Perbellini

Niccolo Roncolato

Proceedings of the Design, Automation and Test in Europe, 2009

Flexible energy-aware simulation of heterogenous wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2009

Correct-by-construction generation of device drivers based on RTL testbenches.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2009

Functional qualification of TLM verification.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2009

Automatic customization of device drivers for IP-cores used with assorted CPU organizations.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, 2009

2008

Reuse and optimization of testbenches and properties in a TLM-to-RTL design flow.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2008

Vacuity Analysis by Fault Simulation.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

The role of parallel simulation in functional verification.

[BibT_eX]

[DOI]

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2008

A HW/SW co-simulation framework for the verification of multi-CPU systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2008

An energy-aware co-simulation framework for the design of wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, 2008

SystemC Simulation of Networked Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Languages for Embedded Systems and their Applications, 2008

A SystemC-based Framework for Modeling and Simulation of Networked Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2008

An optimized CLP-based technique for generating propagation sequences.

[BibT_eX]

[DOI]

Proceedings of the 2008 East-West Design & Test Symposium, 2008

RTL-TLM equivalence checking based on simulation.

[BibT_eX]

[DOI]

Proceedings of the 2008 East-West Design & Test Symposium, 2008

Network Fault Model for Dependability Assessment of Networked Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2008), 2008

A Mutation Model for the SystemC TLM 2.0 Communication Interfaces.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2008

Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation.

[BibT_eX]

[DOI]

Nicola Deganello

Proceedings of the Design, Automation and Test in Europe, 2008

2007

Properties Incompleteness Evaluation by Functional Verification.

[BibT_eX]

[DOI]

Andrea Fedeli

IEEE Trans. Computers, 2007

eEPC: an EPCglobal-compliant Embedded Architecture for RFID-based Solutions.

[BibT_eX]

[DOI]

Giovanni Perbellini

J. Commun., 2007

Improving high-level and gate-level testing with FATE: A functional automatic test pattern generator traversing unstabilised extended FSM.

[BibT_eX]

[DOI]

IET Comput. Digit. Tech., 2007

Too Few or Too Many Properties? Measure it by ATPG!

[BibT_eX]

[DOI]

J. Electron. Test., 2007

Hybrid, Incremental Assertion-Based Verification for TLM Design Flows.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 2007

SystemC co-simulation for core-based embedded systems.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2007

A CLP-Based Functional ATPG for Extended FSMs.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), 2007

Towards Equivalence Checking Between TLM and RTL Models.

[BibT_eX]

[DOI]

Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

Co-simulation framework for the Angel platform.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Electronics, 2007

AME: an abstract middleware environment for validating networked embedded systems applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

Interactive presentation: A middleware-centric design flow for networked embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

A smooth refinement flow for co-designing HW and SW threads.

[BibT_eX]

[DOI]

Paolo Destro

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Incremental ABV for functional validation of TL-to-RTL design refinement.

[BibT_eX]

[DOI]

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Yield-aware placement optimization.

[BibT_eX]

[DOI]

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Modeling and simulation alternatives for the design of networked embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2006

Guest Editor's Introduction.

[BibT_eX]

[DOI]

Ian G. Harris

Int. J. Parallel Program., 2006

Improving Gate-Level ATPG by Traversing Concurrent EFSMs.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE VLSI Test Symposium (VTS 2006), 30 April, 2006

Hardware Design and Simulation for Verification.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Hardware Verification, 2006

A methodology for abstracting RTL designs into TL descriptions.

[BibT_eX]

[DOI]

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

EFSM Manipulation to Increase High-Level ATPG Effectiveness.

[BibT_eX]

[DOI]

Proceedings of the 7th International Symposium on Quality of Electronic Design (ISQED 2006), 2006

On the Automatic Transactor Generation for TLM-based Design Flows.

[BibT_eX]

[DOI]

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

ISS-centric modular HW/SW co-simulation.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM Great Lakes Symposium on VLSI 2006, Philadelphia, PA, USA, April 30, 2006

FATE: a Functional ATPG to Traverse Unstabilized EFSMs.

[BibT_eX]

[DOI]

Proceedings of the 11th European Test Symposium, 2006

Modeling and simulation of mobile gateways interacting with wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe: Designers' Forum, 2006

On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

TLM/network design space exploration for networked embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis, 2006

2005

Logic-level mapping of high-level faults.

[BibT_eX]

[DOI]

Integr., 2005

Editorial.

[BibT_eX]

[DOI]

Ian G. Harris

Int. J. Parallel Program., 2005

A Pseudo-Deterministic Functional ATPG based on EFSM Traversing.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Microprocessor Test and Verification (MTV 2005), 2005

On PSL Properties Re-use in SoC Design Flow Based on Transaction Level Modeling.

[BibT_eX]

[DOI]

Andrea Fedeli

Proceedings of the Sixth International Workshop on Microprocessor Test and Verification (MTV 2005), 2005

Embedded SW Design Issues for Distributed Applications on Mobile Terminals.

[BibT_eX]

[DOI]

Proceedings of the 2nd Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2005), 2005

On the use of a high-level fault model to analyze logical consequence of properties.

[BibT_eX]

[DOI]

Stefano Brait

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling.

[BibT_eX]

[DOI]

Andrea Fedeli

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

Functional Verification of Networked Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Symposium on Quality of Electronic Design (ISQED 2005), 2005

An EFSM-based approach for functional ATPG.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM Great Lakes Symposium on VLSI 2005, 2005

Coverage of formal properties based on a high-level fault model and functional ATPG.

[BibT_eX]

[DOI]

Franco Toto

Proceedings of the 10th European Test Symposium, 2005

Virtual Hardware Prototyping through Timed Hardware-Software Co-Simulation.

[BibT_eX]

[DOI]

Proceedings of the 2005 Design, 2005

2004

A Verification Methodology for Reconfigurable Systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), 2004

Software/Network Co-Simulation of Heterogeneous Industrial Networks Architectures.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Computer Design: VLSI in Computers & Processors (ICCD 2004), 2004

Functional verification based on the EFSM model.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International High-Level Design Validation and Test Workshop 2004, 2004

Logic-level analysis of high-level faults.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM Great Lakes Symposium on VLSI 2004, 2004

Functional fault coverage: the chamber of secrets or an accurate estimation of gate-level coverage?

[BibT_eX]

[DOI]

Proceedings of the 9th European Test Symposium, 2004

At-Speed Functional Verification of Programmable Devices.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2004), 2004

Heterogeneous Co-Simulation of Networked Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 2004 Design, 2004

Native ISS-SystemC Integration for the Co-Simulation of Multi-Processor SoC.

[BibT_eX]

[DOI]

Proceedings of the 2004 Design, 2004

Modeling and Analysis of Heterogeneous Industrial Networks Architectures.

[BibT_eX]

[DOI]

Proceedings of the 2004 Design, 2004

An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems.

[BibT_eX]

[DOI]

Proceedings of the 2004 Design, 2004

A timing-accurate HW/SW co-simulation of an ISS with SystemC.

[BibT_eX]

[DOI]

Luca Formaggio

Proceedings of the 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2004

2003

Identification of design errors through functional testing.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2003

A Remote Methodology for Embedded Systems Design and Validation.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2003

SystemC Cosimulation and Emulation of Multiprocessor SoC Designs.

[BibT_eX]

[DOI]

Computer, 2003

A SystemC-based Framework for Properties Incompleteness Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Microprocessor Test and Verification, 2003

On the Use of a High-Level Fault Model to Check Properties Incompleteness.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

The Confluence of Manufacturing Test and Design Validation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 2003 International Test Conference (ITC 2003), Breaking Test Interface Bottlenecks, 28 September, 2003

Redundant functional faults reduction by saboteurs synthesis [logic verification].

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003

Genetic algorithms: the philosopher's stone or an effective solution for high-level TPG?

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003

Mixing ATPG and property checking for testing HW/SW interfaces.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM Great Lakes Symposium on VLSI 2003, 2003

LAERTE++: an Object Oriented High-level TPG for SystemC Designs.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2003

Estimation of Bus Performance for a Tuplespace in an Embedded Architecture.

[BibT_eX]

[DOI]

Proceedings of the 2003 Design, 2003

A timing-accurate modeling and simulation environment for networked embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 40th Design Automation Conference, 2003

2002

Test Generation and Testability Alternatives Exploration of Critical Algorithms for Embedded Applications.

[BibT_eX]

[DOI]

Fabrizio Ferrandi

IEEE Trans. Computers, 2002

Behavioral test generation for the selection of BIST logic.

[BibT_eX]

[DOI]

J. Syst. Archit., 2002

A combined approach to validate the design of embedded network devices.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Symposium on Circuits and Systems, 2002

A fault tolerant incremental design methodology.

[BibT_eX]

[DOI]

S. Cailotto

Proceedings of the 2002 International Symposium on Circuits and Systems, 2002

A Genetic Testing Framework for Digital Integrated Circuits.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002

Legacy SystemC Co-Simulation of Multi-Processor Systems-on-Chip.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Computer Design (ICCD 2002), 2002

A 1000X speed up for properties completeness evaluation.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

Protected IP-core test generation.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM Great Lakes Symposium on VLSI 2002, 2002

An error simulation based approach to measure error coverage of formal properties.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM Great Lakes Symposium on VLSI 2002, 2002

Functional Test Generation For Digital Integrated Circuits Using A Genetic Algorithm.

[BibT_eX]

Proceedings of the GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, 2002

Emulation-Based Design Errors Identification.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2002), 2002

2001

Sequential Circuit Test Generation Using a Symbolic/Genetic Hybrid Approach.

[BibT_eX]

[DOI]

J. Electron. Test., 2001

AMLETO: a multi-language environment for functional test generation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE International Test Conference 2001, Baltimore, MD, USA, 30 October, 2001

Soft-cores generation by instruction set analysis.

[BibT_eX]

[DOI]

Giovanni Perbellini

Proceedings of the 14th International Symposium on Systems Synthesis, 2001

Functional test generation for behaviorally sequential models.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe, 2001

SystemC: a homogenous environment to test embedded systems.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Symposium on Hardware/Software Codesign, 2001

2000

Symbolic optimization of interacting controllers based onredundancy identification and removal.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000

A Hierarchical Test Generation Approach for Large Controllers.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2000

An extended-UIO-based method for protocol conformance testing.

[BibT_eX]

[DOI]

Giacomo Buonanno

J. Syst. Archit., 2000

Testability Alternatives Exploration through Functional Testing.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE VLSI Test Symposium (VTS 2000), 30 April, 2000

An Application of Genetic Algorithms and BDDs to Functional Testing.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, 2000

Combining symbolic and genetic techniques for efficient sequential circuit test generation.

[BibT_eX]

[DOI]

Proceedings of the 5th European Test Workshop, 2000

BIST Architectures Selection Based on Behavioral Testing.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2000), 2000

A VHDL Error Simulator for Functional Test Generation.

[BibT_eX]

[DOI]

Proceedings of the 2000 Design, 2000

A Web-CAD methodology for IP-core analysis and simulation.

[BibT_eX]

[DOI]

Proceedings of the 37th Conference on Design Automation, 2000

1999

Synthesis for Testability of Highly Complex Controllers by Functional Redundancy Removal.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1999

Increase the Behavioral Fault Model Accuracy Using High-Level Synthesis Information.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT '99), 1999

Power Characterization of LFSRs.

[BibT_eX]

[DOI]

Marco Brazzarola

Proceedings of the 14th International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT '99), 1999

Symbolic Functional Vector Generation for VHDL Specifications.

[BibT_eX]

[DOI]

Proceedings of the 1999 Design, 1999

1998

Automatic generation of error control codes for computer applications.

[BibT_eX]

[DOI]

Cristina Silvano

IEEE Trans. Very Large Scale Integr. Syst., 1998

Testability analysis and behavioral testing of the Hopfield neural paradigm.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 1998

Implicit test generation for behavioral VHDL models.

[BibT_eX]

[DOI]

Fabrizio Ferrandi

Proceedings of the Proceedings IEEE International Test Conference 1998, 1998

Automatic VHDL restructuring for RTL synthesis optimization and testability improvement.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer Design: VLSI in Computers and Processors, 1998

VHDL Testability Analysis Based on Fault Clustering and Implicit Fault Injection.

[BibT_eX]

[DOI]

Proceedings of the 8th Great Lakes Symposium on VLSI (GLS-VLSI '98), 1998

Minimizing the Application Time for Manufacturer Testing of FPGA (Abstract).

[BibT_eX]

[DOI]

Proceedings of the 1998 ACM/SIGDA Sixth International Symposium on Field Programmable Gate Arrays, 1998

Power Estimation of Behavioral Descriptions.

[BibT_eX]

[DOI]

Proceedings of the 1998 Design, 1998

1997

Functional design for testability of control-dominated architectures.

[BibT_eX]

[DOI]

U. Rovati

ACM Trans. Design Autom. Electr. Syst., 1997

A complete testing strategy based on interacting and hierarchical FSMs.

[BibT_eX]

[DOI]

Integr., 1997

Testing Core-Based Systems: A Symbolic Methodology.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 1997

Implicit test pattern generation constrained to cellular automata embedding.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE VLSI Test Symposium (VTS'97), 1997

Application of a Testing Framework to VHDL Descriptions at Different Abstraction Levels.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997

Use of Statecharts-Related Description to Achieve Testable Design of Control Subsystems.

[BibT_eX]

[DOI]

Mariagiovanna Sami

F. Tartarini

Proceedings of the 7th Great Lakes Symposium on VLSI (GLS-VLSI '97), 1997

How an "Evolving" Fault Model Improves the Behavioral Test Generation.

[BibT_eX]

[DOI]

Proceedings of the 7th Great Lakes Symposium on VLSI (GLS-VLSI '97), 1997

Configuration-Specific Test Pattern Extraction for Field Programmable Gate Arrays.

[BibT_eX]

[DOI]

Proceedings of the 1997 Workshop on Defect and Fault-Tolerance in VLSI Systems (DFT '97), 1997

1996

FsmTest: Functional test generation for sequential circuits.

[BibT_eX]

[DOI]

Integr., 1996

Implicit Test Sequences Compaction for Decreasing Test Application Cos.

[BibT_eX]

[DOI]

Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996

Test Generation for Networks of Interacting FSMs Using Symbolic Techniques.

[BibT_eX]

[DOI]

Proceedings of the 6th Great Lakes Symposium on VLSI (GLS-VLSI '96), 1996

SCAN/BIST Techniques for Decreasing Test Storage and their implications to Test Pattern Generation.

[BibT_eX]

[DOI]

Roberto Bevacqua

Luca Guerrazzi

Proceedings of the 22rd EUROMICRO Conference '96, 1996

BDD-based testability estimation of VHDL designs.

[BibT_eX]

[DOI]

Proceedings of the conference on European design automation, 1996

A Parametric Design of a Built-in Self-Test FIFO Embedded Memory.

[BibT_eX]

[DOI]

Stefano Barbagallo

Monica Lobetti Bodoni

Proceedings of the 1996 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 1996

Symbolic Optimization of FSM Networks Based on Sequential ATPG Techniques.

[BibT_eX]

[DOI]

Proceedings of the 33st Conference on Design Automation, 1996

1995

TIES: A testability increase expert system for VLSI design.

[BibT_eX]

[DOI]

Giacomo Buonanno

J. Electron. Test., 1995

A BDD Based Algorithm for Detecting Difficult Faults.

[BibT_eX]

Proceedings of the 1995 IEEE International Symposium on Circuits and Systems, ISCAS 1995, Seattle, Washington, USA, April 30, 1995

Synthesis for testability of large complexity controllers.

[BibT_eX]

[DOI]

M. Serro

Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995

Testable synthesis of high complex control devices.

[BibT_eX]

[DOI]

U. Rovati

Proceedings of the Proceedings EURO-DAC'95, 1995

Sequential logic minimization based on functional testability.

[BibT_eX]

[DOI]

Proceedings of the 1995 European Design and Test Conference, 1995

1994

Two-Dimensional Sequential Array Architectures: Design for Testability Approaches.

[BibT_eX]

[DOI]

Cristiana Bolchini

Proceedings of the 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30, 1994

A Functional Approach to Delay Faults Test Generation for Sequential Circuits.

[BibT_eX]

[DOI]

Proceedings of the EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28, 1994

From Behavioral Description to Systolic Array Based Architectures.

[BibT_eX]

[DOI]

Proceedings of the EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28, 1994

Test Generation for Stuck-at and Gate-Delay Faults in Sequential Circuits: A Mixed Functional/Structural Method.

[BibT_eX]

Proceedings of the IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems, 1994

1993

FSM fault models impact on test performances.

[BibT_eX]

[DOI]

Cristiana Bolchini