A Recursive Paradigm to Solve Boolean Relations

Experiences in Digital Circuit Design Courses: A Self-Study Platform for Learning Support

Layout-Aware Gate Duplication and Buffer Insertion

Timing-driven N-way decomposition

ValID: A Trust-Based Virtual Assessment System

scholarly article published September 2014