5.1.2.1.2. Functional Requirements

Requirement: EnableHSEOscillator REQ_INT3_1732140048 ../../../../../_images/arrow-right-circle.svg
status: Draft
style: red_bar
category: Functional
priority: Low

The HSEON bit in the RCC_CR register must be set to enable the HSE oscillator.

Requirement: VerifyHSEStability REQ_INT3_1732215721 ../../../../../_images/arrow-right-circle.svg
status: Draft
style: red_bar
category: Functional
priority: Low

The HSERDY bit in the RCC_CR register must be checked to confirm the stability of the HSE oscillator.

Requirement: ConfigurePLLM REQ_INT3_1732216124 ../../../../../_images/arrow-right-circle.svg
status: Draft
style: red_bar
category: Functional
priority: Low

The PLLM field in the RCC_PLLCFGR register must be configured to divide the input clock frequency by 25 to achieve a 1 MHz VCO input frequency.

Requirement: ConfigurePLLN REQ_INT3_1732216146 ../../../../../_images/arrow-right-circle.svg
status: Draft
style: red_bar
category: Functional
priority: Low

The PLLN field in the RCC_PLLCFGR register must be configured to multiply the VCO input frequency by 200 to achieve a 200 MHz VCO output frequency.

Requirement: ConfigurePLLP REQ_INT3_1732216165 ../../../../../_images/arrow-right-circle.svg
status: Draft
style: red_bar
category: Functional
priority: Low

The PLLP field in the RCC_PLLCFGR register must be configured to divide the VCO output frequency by 2 to achieve a 100 MHz system clock.

Requirement: VerifyPLLStability REQ_INT3_1732216188 ../../../../../_images/arrow-right-circle.svg
status: Draft
style: red_bar
category: Functional
priority: Low

The PLLRDY bit in the RCC_CR register must be checked to confirm that the PLL generates a stable clock signal, with an output frequency of 100 MHz.

Requirement: SetSystemClockSource REQ_INT3_1732216207 ../../../../../_images/arrow-right-circle.svg
status: Draft
style: red_bar
category: Functional
priority: Low

The SW field in the RCC_CFGR register must be set to select the PLL as the system clock source.

Requirement: VerifySystemClockSource REQ_INT3_1732216226 ../../../../../_images/arrow-right-circle.svg
status: Draft
style: red_bar
category: Functional
priority: Low

The SWS field in the RCC_CFGR register must be checked to confirm that the PLL is the active system clock source.

Requirement: ConfigureAHBPrescaler REQ_INT3_1732216248 ../../../../../_images/arrow-right-circle.svg
status: Draft
style: red_bar
category: Functional
priority: Low

The HPRE field in the RCC_CFGR register must be set to 0 (no division).

Requirement: VerifyAHBClockFrequency REQ_INT3_1732216266 ../../../../../_images/arrow-right-circle.svg
status: Draft
style: red_bar
category: Functional
priority: Low

The AHB clock frequency must be verified to operate at 100 MHz.

Requirement: ConfigureAPB1Prescaler REQ_INT3_1732216282 ../../../../../_images/arrow-right-circle.svg
status: Draft
style: red_bar
category: Functional
priority: Low

The PPRE1 field in the RCC_CFGR register must be configured to 4, to divide the clock by 2 for the APB1 prescaler.

Requirement: VerifyAPB1Frequency REQ_INT3_1732216298 ../../../../../_images/arrow-right-circle.svg
status: Draft
style: red_bar
category: Functional
priority: Low

The APB1 clock frequency must be verified to operate at 50 MHz.

Requirement: ConfigureAPB2Prescaler REQ_INT3_1732216322 ../../../../../_images/arrow-right-circle.svg
status: Draft
style: red_bar
category: Functional
priority: Low

The PPRE2 field in the RCC_CFGR register must be configured to 0 (no division) for the APB2 prescaler.

Requirement: VerifyAPB2Frequency REQ_INT3_1732216337 ../../../../../_images/arrow-right-circle.svg
status: Draft
style: red_bar
category: Functional
priority: Low

The APB2 clock frequency must be confirmed to operate at 100 MHz.

Requirement: ValidateHSEConfiguration REQ_INT3_1732216352 ../../../../../_images/arrow-right-circle.svg
status: Draft
style: red_bar
category: Functional
priority: Low

The HSERDY bit in the RCC_CR register must be set, indicating the HSE oscillator is stable.

Requirement: ValidatePLLStability REQ_INT3_1732216368 ../../../../../_images/arrow-right-circle.svg
status: Draft
style: red_bar
category: Functional
priority: Low

The PLLRDY bit in the RCC_CR register must be set, ensuring that the PLL is stable.

Requirement: ValidateSystemClockSource REQ_INT3_1732216383 ../../../../../_images/arrow-right-circle.svg
status: Draft
style: red_bar
category: Functional
priority: Low

The SWS field in the RCC_CFGR register must indicate that the PLL is selected as the active system clock source.

Requirement: VerifyClockFrequencies REQ_INT3_1732216402 ../../../../../_images/arrow-right-circle.svg
status: Draft
style: red_bar
category: Functional
priority: Low

The clock frequencies for the AHB, APB1, and APB2 buses must be verified to operate at 100 MHz, 50 MHz, and 100 MHz, respectively.

Requirement: UpdateSystemCoreClock REQ_INT3_1732216416 ../../../../../_images/arrow-right-circle.svg
status: Draft
style: red_bar
category: Functional
priority: Low

The SystemCoreClock variable must reflect the system clock frequency of 100 MHz, by reading the RCC register settings and calculating the resulting frequency based on the configured SW, HPRE, PPRE1, and PPRE2 fields.