Why Selected assignment (with-select) in VHDL? - Purpose & Use Cases

The Big Idea

What if you could replace long, confusing condition checks with a neat, simple block that does it all at once?

The Scenario

Imagine you have to assign different values to a signal based on many conditions, and you write a long chain of if-else statements for each case.

For example, setting output signals manually for each input value without a clear structure.

The Problem

This manual method is slow to write and hard to read.

It is easy to make mistakes, like missing a case or mixing up assignments.

When you want to change or add cases, you have to rewrite many lines, increasing errors.

The Solution

Selected assignment with with-select lets you assign values to a signal based on conditions in a clean, compact way.

It groups all cases together, making the code easier to read and maintain.

Adding or changing cases is simple and less error-prone.

Before vs After

✗ Before

if sel = "00" then
  out <= "0001";
elsif sel = "01" then
  out <= "0010";
else
  out <= "0000";
end if;

✓ After

with sel select
  out <= "0001" when "00",
         "0010" when "01",
         "0000" when others;

What It Enables

This lets you write clear, concise hardware descriptions that are easy to update and less prone to bugs.

Real Life Example

In a traffic light controller, you can assign light signals based on the current state using with-select, making the logic straightforward and easy to follow.

Key Takeaways

Manual if-else chains are hard to manage for multiple conditions.

with-select groups assignments clearly by condition.

It improves readability and reduces errors in hardware design.

Practice

1. What is the main purpose of a with-select statement in VHDL?

easy

A. To create a loop that repeats a set of statements

B. To declare a new signal in the architecture

C. To assign a value to a signal based on the value of another signal

D. To define a new data type

Solution

1. Step 1: Understand the role of with-select

   The with-select statement chooses a value for a signal depending on another signal's value.

2. Step 2: Compare with other options

   Loops, declarations, and data types are unrelated to with-select.

3. Final Answer:

   To assign a value to a signal based on the value of another signal -> Option C

4. Quick Check:

   Selected assignment = conditional signal assignment [OK]

Hint: Remember: with-select picks signal values based on another signal [OK]

Common Mistakes:

• Confusing with loops or process statements
• Thinking it declares signals
• Mixing with data type definitions

2. Which of the following is the correct syntax for a with-select assignment in VHDL?

easy

A. with sel select out = "00" when "00", "01" when "01", others => "11";

B. with sel select out <= "00" when "00", "01" when "01", others => "11";

C. with sel select out <= "00" when => "00", "01" when => "01", others => "11";

D. with sel select out <= "00" when "00" "01" when "01", others => "11";

Solution

1. Step 1: Check the syntax format

   The correct syntax uses commas between choices and when others => for default.

2. Step 2: Identify the correct arrow symbol

   The assignment uses <= and the choices use => after when.

3. Final Answer:

   with sel select out <= "00" when "00", "01" when "01", others => "11"; -> Option B

4. Quick Check:

   Correct syntax uses commas and 'others =>' [OK]

Hint: Look for commas between choices and 'others =>' for default [OK]

Common Mistakes:

• Using wrong arrow symbols
• Missing commas between choices
• Omitting 'others =>' clause

3. Given the following VHDL code:

with sel select
  out <= "00" when "00",
         "01" when "01",
         "10" when "10",
         others => "11";

sel = "10";

What will be the value of out?

medium

A. "10"

B. "01"

C. "00"

D. "11"

Solution

1. Step 1: Match sel value with choices

   The value of sel is "10", which matches the third choice.

2. Step 2: Determine assigned value

   When sel is "10", out is assigned "10".

3. Final Answer:

   "10" -> Option A

4. Quick Check:

   sel = "10" means out = "10" [OK]

Hint: Match sel value exactly to get out value [OK]

Common Mistakes:

• Choosing default 'others' instead of exact match
• Confusing when clauses
• Ignoring quotes around values

4. Identify the error in this with-select statement:

with sel select
  out <= "00" when "00",
         "01" when "01",
         "10" when "10";

medium

A. Missing semicolon at the end

B. Incorrect use of commas between choices

C. Wrong assignment operator used

D. Missing when others => clause

Solution

1. Step 1: Check completeness of choices

   The with-select must cover all possible values, including unexpected ones.

2. Step 2: Identify missing default case

   There is no when others => clause to cover unmatched values.

3. Final Answer:

   Missing when others => clause -> Option D

4. Quick Check:

   Always include 'when others =>' in with-select [OK]

Hint: Always add 'when others =>' to cover all cases [OK]

Common Mistakes:

• Forgetting the default 'others' clause
• Thinking semicolon is missing
• Misusing commas or arrows

5. You want to assign a 2-bit output signal out based on a 2-bit input sel using with-select. The mapping is:
- "00" -> "11"
- "01" -> "10"
- "10" -> "01"
For any other value, out should be "00".

Which of the following with-select statements correctly implements this?

hard

A. with sel select
out <= "11" when "00",
"10" when "01",
"01" when "10",
others => "00";

B. with sel select
out <= "00" when "00",
"01" when "01",
"10" when "10",
others => "11";

C. with sel select
out <= "11" when "00",
"10" when "01",
"01" when "10";

D. with sel select
out <= "11" when "00",
"10" when "01",
"01" when "10",
others => "11";

Solution

1. Step 1: Match each sel value to correct out

   "00" maps to "11", "01" to "10", "10" to "01" as given.

2. Step 2: Check the default others value

   For any other sel, out should be "00".

3. Step 3: Verify options

   with sel select out <= "11" when "00", "10" when "01", "01" when "10", others => "00"; matches all mappings and default correctly.

4. Final Answer:

   with sel select out <= "11" when "00", "10" when "01", "01" when "10", others => "00"; -> Option A

5. Quick Check:

   Correct mapping + others = "00" [OK]

Hint: Check each mapping and default carefully in with-select [OK]

Common Mistakes:

• Missing 'others' clause
• Swapping output values
• Assigning wrong default value