napkin.
Menu

CALCULATORS / EMBEDDED TIMING AND DIGITAL SYSTEMS

Timer counts and interrupt period calculator

Ideal timer overflow interval; divider and counter width supplied.

embedded-timer.napkin / editable
✓ checks pass

SCENARIO COMPARISON

Compare the numbers.

This source describes an analytical model. Its quantities and checks are the view.

Scenarioticksoverflows
0.0000010.065536
0.000001250.08192

All calculated quantities are listed with the inputs. Switch to Source to inspect the equations.

SCENARIOS / CALCULATED VALUESSAME SOURCE

Change an input to see the consequences.

overflow interval target0.07 s✓ passes

BASELINE INPUTS

CALCULATED

tick0.000001 s
overflow0.065536 s

Edits change the baseline source.

Calculated from your source · not saved
Baseline · Baseline
overflow interval target0.07 s ✓ passes
alternative · alternative
overflow interval target0.08 s ✓ passes

Illustrative first-order example. Checks are editable requirements, not design standards. The broader topic may require additional equations, data, and validation.

Formula and units

This example uses the following equations. Input names and units match the editable source above.

tick
tick = prescaler/clock [s]
overflow
overflow = tick*2^bits [s]

Original worked example

These are the baseline values in the downloadable source. Edits above let you test your own values.

Given

clock
48000000 Hz
prescaler
48
bits
16

Calculated

tick
0.000001 s
overflow
0.065536 s

Assumptions and limits

Ideal timer overflow interval; divider and counter width supplied.

The requirement checks use the limits written in this example. Passing a check does not establish that the model covers every load, material behavior, or operating condition in a real design.

Download this .napkin example ↓

Take it further with your agent

Napkin keeps the inputs, equations, checks and assumptions together in one study. Your agent sets it up; you change the numbers.

Try with Claude ↗

codex 'Use Napkin (https://napkin.engineering/mcp, or the local Napkin plugin) to build a study: Timer counts and interrupt period. Inputs: clock; prescaler; period target; timer range. Outputs: compare value; achieved period; error. Model scope: Declared clock, peripheral and execution assumptions. Read napkin_capabilities and the current snapshot. Ask me for the values that matter, label assumptions with units, author .napkin source, validate it and apply it with napkin_source using the current revision, then open the study. Add checks for the limits I supply. Keep unsupported analyses explicit.'

Claude needs the Napkin connector; Codex needs the Napkin plugin. Set up your agent ↗

The broader study

The topic brief below describes the broader scope. The worked example above states the particular calculation it implements.

  • Inputs: clock, prescaler, period target, timer range
  • Outputs: compare value, achieved period, error
  • Modes: calculate, compare, sweep
  • Drawing: Timing diagram or event simulation

EXECUTABLE WORKED EXAMPLE · FIRST-ORDER MODEL · CHECK THE SCOPE & ASSUMPTIONS

More in embedded timing and digital systems