Monday, July 20, 2026

Slack monitor

Slack probe

 Here is how on-chip controllers monitor and react to degrading timing slack in real time.

1. In-Situ Slack Monitors
Instead of measuring voltage or temperature as proxies, controllers use dedicated hardware sensors embedded directly inside the critical logic paths.
  • Canary Circuits: Replica logic paths that mimic the slowest paths on the chip but are intentionally designed to fail slightly earlier than the actual operational logic. [1]
  • Razor Flip-Flops: Specialized latches that sample data twice—once at the normal clock edge and a second time slightly later. If the two samples disagree, it indicates the timing slack has shrunk to a dangerous level.
  • Transition Detectors: Sensors that watch data lines during a "guardband" window right before the clock edge. Any signal transition inside this window triggers a warning that slack is critically low.
2. Controller-Driven Recovery Mitigation
When the on-chip telemetry controller detects that the timing slack is nearing zero, it executes rapid hardware-level interventions:
[Slack Warning Triggered] │ ├──► 1. Clock Throttling (Immediate): Stretches or skips next clock cycle to grant more time. ├──► 2. Voltage Boosting (Transient): Signals PMIC to raise Vdd to speed up transistors. └──► 3. Architectural Re-execution: Re-runs the cycle securely if a Razor flip-flop detects a late transition.
  • Dynamic Frequency Scaling (DFS): The controller immediately reduces the clock frequency (stretching the cycle time) to artificially open up the timing slack.
  • Adaptive Voltage Scaling (AVS): The controller commands the Power Management IC (PMIC) to step up the voltage, forcing the transistors to switch faster and restoring the timing margin.
  • Instruction Re-execution: If a Razor flip-flop catches a late-arriving signal that missed the primary clock edge, the controller stalls the pipeline and replays the instruction using the correct, late-sampled data.
Predictive Failure Analysis
Controllers also log the frequency of these near-miss slack events. If a specific core or execution unit continuously triggers slack warnings under normal workloads, the controller flags it as aging or degraded (due to phenomena like Negative-Bias Temperature Instability, or NBTI). The system firmware can then permanently map out or down-clock that specific block to avoid permanent SDC risks.

Sunday, July 05, 2026

Understanding and Answering

https://paulabartabajo.substack.com/p/how-to-pass-a-technical-interview 

Knowledge Graphs, the Missing Link in Agentic AI-based Formal Verification

Agentic AI-based Coverage Closure for Formal Verification

NY story

 After a red eye flight, our five year old was tired. We were meeting friends in the new york city during the layover of international travel.

When the city was just waking up on a holiday, our friend bought us breakfast from a food stand.As we were leaving with our food, the stand owner gave our toddler a donut. He refused money for it. Intended to make the kid happy but it made a strong impression on us. A welcome to the city!!

I have been to the city many times hauling back a suticase full of second hand books from The Strand Store, Times square visit that I rendered in a poem, but that donut!!

10 years later

Any parent with a kid needs to know, where the restrooms are!! Our fiend dropped us at an entrance. There were few levels in the building. The receptionist said that the closest restroom was at a place called Occ.. something.

We started running, from one way pointer to another. It was a miracle that so much running could be done with a full bladder. Finally, the apple store pointer helped. Later in the evening, we were being shown around the Occulus, which we had seen 10 years ago, and as we were walking through it, our eyes fell on the Apple store sign and my younger one and I gave out a big laugh of the place etched in our minds, coming full circle in many ways.