Using Machine Learning for predicting area and Firmware metrics of hardware designs from abstract specifications
Microprocessors and Microsystems
2019
PASTEL: Parasitic Matching-Driven Placement and Routing of Capacitor Arrays with Generalized Ratios in Charge-Redistribution SAR-ADCs
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2019
An Efficient Fault-Tolerant Valve-Based Microfluidic Routing Fabric for Droplet Barcoding in Single-Cell Analysis
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2019
Synthesis of Reconfigurable Flow-Based Biochips for Scalable Single-Cell Screening
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2019
Synthesis of DDRO Timing Monitors by Delay-Tracking and Static Timing Analysis
IEEE Transactions on Circuits and Systems I: Regular Papers
2019
How to Keep 4-Eyes Principle in a Design and Property Generation Flow
Methods and Description Languages for Modelling and Verification of Circuits and Systems (MBMV)
2019
Towards a Python-Based One Language Ecosystem for Embedded Systems Automation
IEEE Nordic Circuits and Systems Conference (NorCAS)
2019
Formal Verification Methodology in an Industrial Setup
EUROMICRO Conference on Digital System Design (DSD)
2019
Embedded Systems' Automation following OMG's Model Driven Architecture Vision
Design, Automation and Test in Europe (DATE)
2019
Accurate Cost Estimation of Memory Systems Inspired by Machine Learning for Computer Vision
Design, Automation and Test in Europe (DATE)
2019