Skip to main content

Train Courses Problems Proof Blocks Tools Progress Account

⌄

AccountSign-in, membership, and settings Current courseCalculus IThemeAbout ProofAnvilLoading account…

Problem library

Find a problem

Search by course or topic.

Loading the problem library…

TrainCoursesProblemsProgressMoreTrain Courses Problems Progress

More

Proof Blocks Tools Account

ProofAnvil Practice$19 USD monthly · cancel any time

Pricing FAQ Features Roadmap Use with your agent Support Terms Privacy Refunds

Practice problems with hints and solutions · ProofAnvil

Problem library

Find a problem

Search by course or topic.

Search problems

Filters · 2 active

Area

AllMathPhysics

SubjectCourseTopic

Topic choices for Embedded Systems are shortened. Search still covers every problem.

StatusSkill

Skills match the applied subject and course.

Problem styleFind a private labelPrivate labelPrivate labels are visible only to you.Private labels ready.Favorites

Browsing still works.Sign in to use progress, saved problems and private labels. Problem search and previews remain available.

Progress labels

IndependentSolved with helpIncorrect / unresolvedDraft in progressNot attemptedReview due

Problem results

Sort

ProblemsClear skill: Verification Safety Build a practice set

ProblemCourse & topicStatus

EMB:9925251Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

EMB:9925252Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

EMB:9925253Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

EMB:9925254Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

EMB:9925255Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

EMB:9925256Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

EMB:9925257Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

EMB:9925258Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

EMB:9925259Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

EMB:9925260Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

EMB:9925261Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

EMB:9925262Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

EMB:9925263Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

EMB:9925264Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

EMB:9925265Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

EMB:9925266Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

EMB:9925267Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

EMB:9925268Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

EMB:9925269Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

EMB:9925270Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

EMB:9925271Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

EMB:9925272Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

EMB:9925273Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

EMB:9925274Mathematical problem title

Verification SafetyEmbedded Systems Problem Solving

State-machine verification and safety boundariesEmbedded Systems · Mixed review

—

Showing 24 of 50 matching problems.

Private labels

Edit private labels

Add labels that only you can see.

Problem

Current labels

Private labels are unavailable. Close this editor and try again.

New label

Use a short label.

A descending full-descending process stack occupies the half-open range

[\mathtt{0x20007C00},\mathtt{0x20008000})

.

The MPU is enabled with

\mathtt{PRIVDEFENA}=1

and

\mathtt{ENABLE}=1

.

A DMA controller is an AHB bus-matrix master and does not consult the CPU MPU.

MPU region 4 has base

B=\mathtt{0x20030000}

and

\mathtt{SIZE}=11

(size

4\,\mathrm{kiB}

, s=12).

Three MPU regions are enabled, with higher region number winning on overlap…

Memory-type attributes of an MPU region are packed as a triple

(\mathtt{TEX}[2:0],C,B)

together with a shareable…

A write-back write-allocate D-cache has 32-byte lines.

A Cortex-M7-style core runs at

f_{\mathrm{CPU}}=160.0\,\mathrm{MHz}

.

A write-back D-cache with 32-byte lines holds one valid dirty line L for addresses…

A Harvard tightly-coupled memory provides an ITCM port and a DTCM port that may complete in the same core cycle.

A D-cache is 2-way set-associative with 4 sets and 16-byte lines, write-back, write-allocate, LRU.

Flash is accessed over AHB at

f_{\mathrm{HCLK}}=180.0\,\mathrm{MHz}

with a wait-state machine: a non-sequential…

A 4-way set-associative D-cache of

16\,\mathrm{kiB}

with 32-byte lines supports way lockdown.

A three-master, four-slave AHB bus matrix has masters

M_I

(CPU instruction),

M_D

(CPU data), and

M_{\mathrm{DMA}}

…

SRAM1 is a single-port slave on the matrix of Problem 264.

An AHB-to-APB bridge connects

f_{\mathrm{HCLK}}=120.0\,\mathrm{MHz}

to

f_{\mathrm{PCLK}}=30.00\,\mathrm{MHz}

…

A fixed-priority AHB arbiter at SRAM1 uses DMA priority 0 (highest) and CPU data priority 1.

The AHB default slave responds to every unmapped address with a two-cycle error: in the cycle of the request the…

Flash wait states depend on HTRANS.

Two DMA channels and the CPU data port contend for a single-port APB bridge

S_P

.

A fully preemptive uniprocessor Anvil-M4 runs ForgeOS.

ForgeOS provides a 16-bit event group E stored little-endian at SRAM address

\mathtt{0x20001800}

, initially…

A ForgeOS message queue Q occupies SRAM at

\mathtt{0x20002000}

and holds at most N=4 messages.

ForgeOS mutexes exist in two varieties.