RF-01 — Purpose: The system shall be a board/table for practical learning of digital circuits, allowing physical assembly of circuits using magnetic pieces, real-time emulation, and guided activities via an app.
RF-02 — Dimensions: The main board shall have approximate dimensions 50 cm × 50 cm × 20 cm and be constructed from MDF with a smooth finish.
RF-03 — Logic piece set: The system shall include 16 pieces (3D printed, approximate size ~8 × 6 × 4 cm) of the following types/quantities: 4 AND, 4 OR, 3 NAND, 3 NOR, 1 XOR, 1 XNOR. NOT/Gates may be realized by wiring a single input into certain gates as instructed.
RF-04 — Connectors and magnets: Each piece shall use metallic connectors and magnetic notches to facilitate connection and fixation on the board; magnetic cables shall be used to interconnect gates.
RF-05 — Electronic identification of pieces: Each piece shall have an electronically readable ID so the system can identify the type of piece placed.
RF-06 — Inputs and outputs: The system shall provide 8 physical inputs and 8 physical outputs, each input having an On/Off switch and RGB LEDs that indicate the signal state. Each group of 4 bits (inputs and outputs) shall have a seven-segment display to show the hexadecimal value.
RF-07 — Special pins board: There shall be a special pins board with 8 special pins that can be routed to saved outputs via the app or the Save button on the board. These pins shall have RGB LEDs and seven-segment displays for their corresponding 4-bit values. The last 4 special pins must be able to operate in Clock / 4-bit Counter modes. The maximum number of gates for saved circuits is 1024.
RF-08 — Save button: The board shall include a Save Button that allows saving the current circuit in the app as a saved circuit, which can be routed to the special pins.
RF-09 — Real-time emulation: The system shall perform decoding, reconstruction and real-time emulation of the physically assembled circuit with latency less than 500 ms between a user action and the visual/output update.
RF-10 — Supported circuits: Emulation shall support both combinational and sequential circuits (including flip-flops and counters) and shall validate tasks by comparison to truth tables / expected expressions.
RF-11 — SAT solver: For task validation the system shall include a Boolean satisfiability (SAT) solution capability for expressions up to 8 bits.
RF-12 — Complexity / Score Meter: The system shall compute and display a complexity/score metric that compares the number of gates used by the student with the minimum number of gates required for the task.
RF-13 — Saved circuit gate limit: When using saved circuits, the system shall enforce a maximum gate count of ≤ 1024 gates.