Search Results for author:
Found 4 papers, 3 papers with code
Circuit-Based Intrinsic Methods to Detect Overfitting
By intrinsic methods, we mean methods that rely only on the model and the training data, as opposed to traditional methods (we call them extrinsic methods) that rely on performance on a test set or on bounds from model complexity.
Simulation-Guided Boolean Resubstitution
This paper proposes a new logic optimization paradigm based on circuit simulation, which reduces the need for Boolean computations such as SAT-solving or constructing BDDs.
Logic in Computer Science
Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization
If the function is incompletely-specified, the implementation has to be true only on the care set.
Verilog-to-PyG -- A Framework for Graph Learning and Augmentation on RTL Designs
The complexity of modern hardware designs necessitates advanced methodologies for optimizing and analyzing modern digital systems.
