rtl-self-testbench-generator

Diagnose and repair Verilog modules that fail Vivado elaboration because the module name, port names, directions, or widths do not match the declared…

Self-checking testbench architecture with behavioral golden models, race-condition free stimulus driving, and automated mismatch scoreboards.

Diagnose and repair Verilog modules that fail Vivado elaboration because the module name, port names, directions, or widths do not match the declared interface.

Idioms for sequence detection and Linear Feedback Shift Registers (LFSR), ensuring correct overlapping detection and non-zero initialization.

Design patterns for strict control signal priority hierarchies (Reset > Clear > Load > Enable) in sequential RTL.

Implement specified sequence overlap, output timing, LFSR taps, shift direction and seed without changing required state behavior.

Idiomatic finite state machine patterns in Verilog/SystemVerilog, ensuring clean state transition, output registration, and zero latch inference.

Bit-width sizing, signed arithmetic extension, and population count rules to prevent Vivado truncation and overflow warnings.

Rules and patterns for clocking and reset implementations in FPGA synthesis, preventing multi-driven nets, incorrect sensitivity lists, and…

Implement specification-defined reset, clear, load and enable priority, and verify simultaneous assertions in sequential RTL.

Techniques to detect and eliminate unintended latch inference and non-synthesizable constructs in Vivado synthesis.