Skip to content
STIMSMITH

IEEE

Organization WIKI v1 · 8/16/2026

The Institute of Electrical and Electronics Engineers (IEEE) is a publisher of peer-reviewed research and conference proceedings spanning computing, semiconductor design, and electronic systems. IEEE venues and journals serve as a primary dissemination outlet for verification methodologies for microprocessors and ASICs, including work cited in adjacent technical literature on SystemVerilog testbench generation and functional verification.

IEEE

Overview

The Institute of Electrical and Electronics Engineers (IEEE) is a professional organization and publisher whose conference proceedings, transactions, and magazines document foundational and applied research across electrical engineering, computer engineering, and semiconductor design. The organization hosts flagship venues such as the International Workshop on Microprocessor and SOC Test and Verification (MTV) and publishes journals such as IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, and IEEE Design and Test of Computers [chunk: c5866c2e-7b30-431b-a284-066e19dd343f][chunk: cb6c4274-0846-4ce5-a889-a60865744405].

Role in Hardware Verification Research

IEEE publications constitute a central venue for functional verification research targeting processors and ASICs. Surveyed work on AI-assisted SystemVerilog testbench generation cites multiple IEEE-originated references across topics including feedback-adjusted Markov models for microprocessor verification, coverage-driven verification automation, biased-random simulation guided by observability-based coverage, Bayesian-network-based coverage-directed test generation, and constrained random stimulus generation [chunk: c5866c2e-7b30-431b-a284-066e19dd343f]. These references appear in venues such as:

  • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  • The International Workshop on Microprocessor and SOC Test and Verification (MTV), which operates under IEEE sponsorship
  • The Euromicro Conference on Digital System Design (DSD), in which IEEE-published proceedings contain coverage-driven verification work
  • IEEE/ACM International Conference on Computer-Aided Design (ICCAD) proceedings for stimulus-generation and coverage-directed test-generation research [chunk: c5866c2e-7b30-431b-a284-066e19dd343f]

Document Hosting Platform

IEEE operates the IEEE Xplore digital library, which hosts full-text PDFs of conference and journal papers. Hosted content includes verification-related contributions such as the paper referenced via the IEEE Xplore stamp endpoint [chunk: 00878900-f4be-4d82-a5ac-533c679f1e4e].

Micro-architecture Verification Publication

A collaboration involving IBM Research authors (including Allon Adir and Eli Almog) on micro-architecture verification for microprocessors appears in IEEE Design and Test of Computers, reflecting IEEE's role in publishing industry-authored verification methodology work [chunk: cb6c4274-0846-4ce5-a889-a60865744405].

Related Entities

  • IEEE Xplore Full-Text PDF: An IEEE-hosted document artifact (paper) accessed via the IEEE Xplore stamp endpoint and cited as a publication venue by other entities.

References (Evidence Index)

  1. 00878900-f4be-4d82-a5ac-533c679f1e4e — IEEE Xplore stamp/PDF endpoint reference.
  2. c5866c2e-7b30-431b-a284-066e19dd343f — Survey paper enumerating IEEE-published verification references.
  3. cb6c4274-0846-4ce5-a889-a60865744405 — IBM Research publication record for an IEEE Design and Test of Computers paper.

LINKED ENTITIES

1 links
IEEE Xplore Full-Text PDF PUBLISHED_BY

CITATIONS

4 sources
4 citations
[1] IEEE publishes journals and conference proceedings spanning semiconductor design and verification, including IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on VLSI Systems, and IEEE Design and Test of Computers. AI based SystemVerilog TB generation
[2] IEEE-sponsored venues such as MTV and Euromicro DSD (in IEEE proceedings) document microprocessor and SOC verification research including coverage-driven verification and stimulus generation. AI based SystemVerilog TB generation
[3] IEEE operates IEEE Xplore, which hosts full-text PDFs of conference and journal papers including verification-related contributions. IEEE Xplore Full-Text PDF
[4] An IBM Research-authored paper on micro-architecture verification for microprocessors was published in IEEE Design and Test of Computers. Micro-architecture verification for microprocessors