2026-08-02
3 items 99 entities 122 connections
Processed 37 entities and 54 relations.
Coverage Directed test Generation MicroGP Genetic Programming Evolutionary Algorithm Genetic Algorithm Instruction Set Architecture Code Coverage RTL FireDrill FirePath Instruction Library Fitness Function Pseudo-random Test Generation Regression Test Suite Branch Coverage Toggle Coverage Expression Coverage Functional Coverage Machine Learning SIMD Charalambos Ioannides Geoff Barrett Kerstin Eder G. Squillero Broadcom Corporation University of Bristol Polytechnic University of Torino Feedback-based Coverage Directed Test Generation: An industrial evaluation simulate_e.pl postprocess.pl ugp_fd.e Microprocessor Verification Test Program Generation Mutation Operator Crossover Operator Coverage Closure Coverage Directed test Generation
Processed 21 entities and 17 relations.
Functional Verification Testbench DUT (Design Under Test) Race Condition Timing Control Testbench Timing Bug Constrained-Random Testing Stimulus Generation SystemVerilog Interface Modport Clocking Block Signal Direction Control Timing Abstraction Object-Oriented Programming (OOP) UVM SystemVerilog RTL Verification Architecture Coverage Synchronization Timing Abstraction
Processed 41 entities and 51 relations.
FISH (Fast Instruction SyntHesis) Maximal Convex Subgraph Enumeration Integer Linear Programming (ILP) for Custom Instruction Synthesis Data Flow Graph (DFG) Custom Instruction Synthesis Custom Instruction Candidate Convex Subgraph Forbidden Node Graph Compaction and Clustering Search Tree with Constraint Propagation Merit Function for Subgraph Evaluation Trimaran Compiler CHIPS Tool Chain Synopsys Design Compiler Design Space Exploration Custom Processor System-on-Chip (SoC) Register File Port Constraint Incompatibility Graph Software Execution Latency Estimation Hardware Execution Latency Estimation VHDL Behavioral Hardware Description Generation If-Conversion Pass Subgraph Selection CPLEX ILP Solver lp_solve ILP Solver Bron-Kerbosch Maximal Clique Enumeration Pothineni et al. Maximal Convex Subgraph Enumeration Verma et al. Maximal Clique Enumeration for Custom Instructions Li et al. Search Tree Enumeration Algorithm Kubilay Atasu Wayne Luk Oskar Mencer Can Özturan Günhan Dündar IBM Research Zurich Imperial College London Boğaziçi University Advanced Encryption Standard (AES) Benchmark Data Encryption Standard (DES) Benchmark Multimedia and Cryptography Benchmarks