Digital Counter Bit-Transition Testing for Fast Boot Verification

Resolve Bottlenecks,
Find Innovative Solutions
Generate Solutions

Solution Overview

Problem

Existing methods for testing counters in safety-critical systems, such as Software Watchdog Timers, are time-intensive and unsuitable for high-resolution counters, exceeding the required boot time of 50 milliseconds.

Innovation Solution

A method for testing digital hardware counters using a software module that sequentially checks the most significant bits of the count value by enabling and disabling the counter, verifying bit transitions and final values, allowing for efficient testing of counters with 16, 32, or 64 bits.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Reliability

If traditional counter testing methods are used to ensure thorough verification, then testing completeness is improved, but boot time exceeds the required 50 milliseconds

Engineering Contradiction:
Improvetesting completenessVSAvoidboot time
Core Design Contradiction:
ReliabilityVSLoss of time

Solution Approach 1:

The patent segments the counter testing process into distinct phases: initialization phase, counting phase, and verification phase. By dividing the testing into discrete steps with specific control points, the system can efficiently verify counter functionality without requiring exhaustive testing of all possible count values, thus reducing overall test time while maintaining reliability

Inventive Principle:
Principle #1Segmentation

Solution Approach 2:

The patent implements preliminary actions by pre-configuring test parameters, initializing counter values, and preparing verification criteria before the actual counting operation begins. This allows the testing process to start immediately with predefined conditions, eliminating setup delays during the critical boot sequence

Inventive Principle:
Principle #10Preliminary action

2Measurement precision

If high-resolution counters with 16, 32, or 64 bits are tested using conventional methods, then measurement precision is improved, but testing duration becomes excessively long

Engineering Contradiction:
Improvecounter resolutionVSAvoidtesting duration
Core Design Contradiction:
Measurement precisionVSDuration of action of moving object

Solution Approach 1:

The patent uses a software module as a virtual controller that mimics the behavior of the hardware counter. This software copy can be configured to match any resolution (16, 32, or 64 bits) and can be tested instantaneously through software logic rather than physically counting through all values, dramatically reducing testing duration while preserving measurement precision verification

Inventive Principle:
Principle #26Copying

Solution Approach 2:

The patent changes the testing parameter from actual count value verification to control signal verification. Instead of testing by counting through all possible values (which would take exponentially longer with increased resolution), the system tests by verifying that the counter responds correctly to control signals (start, stop, reset) across different resolution configurations

Inventive Principle:
Principle #35Parameter changes

Data Source

PatentUS20250389771A1Method for testing a counter, corresponding processing system and computer program product
Publication Date: 2025.12.25 STMICROELECTRONICS INT NV
  • US20250389771A1 patent drawing
  • US20250389771A1 patent drawing
  • US20250389771A1 patent drawing

AI summary

Solutions for testing a digital hardware counter circuit are disclosed. In an example, a software module tests a plurality of most significant bits. The count value is set to a binary value. For a down counter, the bit of the binary value at the current bit position is set to high and lower bits are set to low. For an up counter, the bit of the binary value at the current bit position is set to low and lower bits are set to high. Next, the software module enables the counter. The counter varies the count value. After a time-period, the software module disables the counter and determines whether one or more bits of the count value have an expected value(s). When at least one of the one or more bits of the count value does not have the respective expected value, the software module signals a malfunction.