Notice détaillée
Titre
Riener, Heinz
Sciper ID
284376
Laboratoires affiliés
LSI1
Publications
A Logic Synthesis Toolbox for Reducing the Multiplicative Complexity in Logic Networks
An Automated Testing and Debugging Toolkit for Gate-Level Logic Synthesis Applications
Boolean satisfiability in quantum compilation
Design Understanding: From Logic to Specification
Exact DAG-Aware Rewriting
From Boolean functions to quantum circuits: A scalable quantum compilation flow in C++
Learning to Automate the Design Updates From Observed Engineering Changes in the Chip Development Cycle
On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis
Three-Input Gates for Logic Synthesis
Three-Input Gates for Logic Synthesis
Voir toutes les publications (32)
An Automated Testing and Debugging Toolkit for Gate-Level Logic Synthesis Applications
Boolean satisfiability in quantum compilation
Design Understanding: From Logic to Specification
Exact DAG-Aware Rewriting
From Boolean functions to quantum circuits: A scalable quantum compilation flow in C++
Learning to Automate the Design Updates From Observed Engineering Changes in the Chip Development Cycle
On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis
Three-Input Gates for Logic Synthesis
Three-Input Gates for Logic Synthesis
Voir toutes les publications (32)
Toutes les ressources
Toutes les ressources
Le document apparaît dans
Authorities > People