Adds Tabellion's old solution templates.HEADmaster

18 files changed, 62 insertions, 0 deletions

diff --git a/solution_template/CNE_00100.pp b/solution_template/CNE_00100.pp
new file mode 100644
index 0000000..41164c6
--- /dev/null
+++ b/solution_template/CNE_00100.pp
@@ -0,0 +1,3 @@
+The signal $wfm.IDENTIFIER$ (declared in $wfm.FILE$, line $wfm.LINE$, column
+$wfm.COLUMN$) is only tested for equality against '0'. CNE_00100 indicates such
+signals should have names ending in "_n".
diff --git a/solution_template/CNE_01100.pp b/solution_template/CNE_01100.pp
new file mode 100644
index 0000000..4039897
--- /dev/null
+++ b/solution_template/CNE_01100.pp
@@ -0,0 +1,4 @@
+The name of the port $pt.IDENTIFIER$ (declared in $pt.FILE$, line $pt.LINE$,
+column $pt.COLUMN$) does not match its direction. According to CNE_01100, input
+ports should be prefixed by "i_", output ports by "o_", and bidirectional ports
+by "b_".
diff --git a/solution_template/CNE_01200.pp b/solution_template/CNE_01200.pp
new file mode 100644
index 0000000..68479eb
--- /dev/null
+++ b/solution_template/CNE_01200.pp
@@ -0,0 +1,2 @@
+The label for the process $ps.LABEL$ (declared in $ps.FILE$, line $ps.LINE$,
+column $ps.COLUMN$) is not prefixed by "P_", despite CNE_01200 requiring it to.
diff --git a/solution_template/CNE_01400.pp b/solution_template/CNE_01400.pp
new file mode 100644
index 0000000..6050265
--- /dev/null
+++ b/solution_template/CNE_01400.pp
@@ -0,0 +1,3 @@
+The name of the generic port $gc.IDENTIFIER$ (declared in $gc.FILE$,
+line $gc.LINE$, column $gc.COLUMN$) is not prefixed by "g_", despite CNE_01400
+requiring it to be.
diff --git a/solution_template/CNE_01700.pp b/solution_template/CNE_01700.pp
new file mode 100644
index 0000000..8a32e7d
--- /dev/null
+++ b/solution_template/CNE_01700.pp
@@ -0,0 +1,3 @@
+The signal $x_re.IDENTIFIER$ (declared in $x_re.FILE$, line $x_re.LINE$, column
+$x_re.COLUMN$) is made to indicate the rising edge of another signal. CNE_01700
+indicates such signals should have names ending in "_re".
diff --git a/solution_template/CNE_01800.pp b/solution_template/CNE_01800.pp
new file mode 100644
index 0000000..5dea929
--- /dev/null
+++ b/solution_template/CNE_01800.pp
@@ -0,0 +1,3 @@
+The signal $x_fe.IDENTIFIER (declared in $x_fe.FILE$, line $x_fe.LINE$, column
+$x_fe.COLUMN$) is made to indicate the falling edge of another signal. CNE_01800
+indicates such signals should have names ending in "_fe".
diff --git a/solution_template/CNE_01900.pp b/solution_template/CNE_01900.pp
new file mode 100644
index 0000000..0402d55
--- /dev/null
+++ b/solution_template/CNE_01900.pp
@@ -0,0 +1,3 @@
+The signal $x_r.IDENTIFIER$ (declared in $x_r.FILE$, line $x_r.LINE$, column
+$x_r.COLUMN$) is the result of another signal delayed using a flip-flop.
+CNE_01900 indicates such signals should have names ending in "_r[0-9]*".
diff --git a/solution_template/CNE_02100.pp b/solution_template/CNE_02100.pp
new file mode 100644
index 0000000..ff0b8e7
--- /dev/null
+++ b/solution_template/CNE_02100.pp
@@ -0,0 +1,4 @@
+The name of the architecture $arch.IDENTIFIER$ (declared in $arch.FILE$,
+line $arch.LINE$, column $arch.COLUMN$) does not match any of the names of a RTL
+architecture, as defined by CNE_02100. The allowed names are "Behavioral",
+"RTL", and "Simulation".
diff --git a/solution_template/CNE_02600.pp b/solution_template/CNE_02600.pp
new file mode 100644
index 0000000..ea2d44f
--- /dev/null
+++ b/solution_template/CNE_02600.pp
@@ -0,0 +1,3 @@
+The name of the signal $sl.IDENTIFIER$ (declared in $sl.FILE$,
+line $sl.LINE$, column $sl.COLUMN$) has more than 20 characters, this is not
+allowed by CNE_02600.
diff --git a/solution_template/CNE_04500.pp b/solution_template/CNE_04500.pp
new file mode 100644
index 0000000..0a2ec8e
--- /dev/null
+++ b/solution_template/CNE_04500.pp
@@ -0,0 +1,6 @@
+The process $ps.LABEL$ (declared in $ps.FILE$, line $ps.LINE$, column
+$ps.COLUMN$) assigns values to a both reset-initialized waveform,
+$i_wfm.IDENTIFIER$ (declared in $i_wfm.FILE$, line $i_wfm.LINE$, column
+$i_wfm.COLUMN$), and waveform not reset-initialized  $ni_wfm.IDENTIFIER$
+(declared in $ni_wfm.FILE$, line $ni_wfm.LINE$, column $ni_wfm.COLUMN$), and
+waveform not reset-initialized. This goes against CNE_04500.
diff --git a/solution_template/CNE_05100.pp b/solution_template/CNE_05100.pp
new file mode 100644
index 0000000..242dd8d
--- /dev/null
+++ b/solution_template/CNE_05100.pp
@@ -0,0 +1,3 @@
+The signal $wfm.IDENTIFIER$ (declared in $wfm.FILE$, line $wfm.LINE$, column
+$wfm.COLUMN$) is the output of a single process multiplexor, as defined by
+CNE_05100.
diff --git a/solution_template/STD_04800.pp b/solution_template/STD_04800.pp
new file mode 100644
index 0000000..eb2653c
--- /dev/null
+++ b/solution_template/STD_04800.pp
@@ -0,0 +1,3 @@
+The signal $wfm.IDENTIFIER$ (declared in $wfm.FILE$, line $wfm.LINE$, column
+$wfm.COLUMN$) is tested with both the rising_edge and the falling_edge
+functions. This goes against STD_04800.
diff --git a/solution_template/async_reset_flip_flop.pp b/solution_template/async_reset_flip_flop.pp
new file mode 100644
index 0000000..d484d12
--- /dev/null
+++ b/solution_template/async_reset_flip_flop.pp
@@ -0,0 +1,6 @@
+The process $ps.LABEL$ (declared in $ps.FILE$, l. $ps.LINE$, c. $ps.COLUMN$)
+describes a flip-flop controlled by $clk.IDENTIFIER$ (declared in
+$clk.FILE$, l. $clk.LINE$, c. $clk.COLUMN$), with asynchronous reset
+$rst.IDENTIFIER$ (declared in $rst.FILE$, l. $rst.LINE$, c. $rst.COLUMN$), and
+with output $reg.IDENTIFIER$ (declared in $reg.FILE$, l. $reg.LINE$,
+c. $reg.COLUMN$).
diff --git a/solution_template/combinational_processes.pp b/solution_template/combinational_processes.pp
new file mode 100644
index 0000000..7d73bf9
--- /dev/null
+++ b/solution_template/combinational_processes.pp
@@ -0,0 +1,2 @@
+The processus $ps.LABEL$ (from file $ps.FILE$, line $ps.LINE$, column
+$ps.COLUMN$) is combinational.
diff --git a/solution_template/flip_flop.pp b/solution_template/flip_flop.pp
new file mode 100644
index 0000000..061ee2d
--- /dev/null
+++ b/solution_template/flip_flop.pp
@@ -0,0 +1,4 @@
+The process $ps.LABEL$ (declared in $ps.FILE$, l. $ps.LINE$, c. $ps.COLUMN$)
+describes some kind of flip-flop controlled by $clk.IDENTIFIER$ (declared in
+$clk.FILE$, l. $clk.LINE$, c. $clk.COLUMN$) and with output $reg.IDENTIFIER$
+(declared in $reg.FILE$, l. $reg.LINE$, c. $reg.COLUMN$).
diff --git a/solution_template/incrementer.pp b/solution_template/incrementer.pp
new file mode 100644
index 0000000..e4768d9
--- /dev/null
+++ b/solution_template/incrementer.pp
@@ -0,0 +1,3 @@
+The waveform associated with $wf.IDENTIFIER$ (from file $wf.FILE$, line $wf.LINE$
+column $wf.COLUMN$) is incremented by the process $ps.LABEL$ (from
+$ps.FILE$, line $ps.LINE$, column $ps.COLUMN$).
diff --git a/solution_template/likely_a_clock.pp b/solution_template/likely_a_clock.pp
new file mode 100644
index 0000000..aea7af2
--- /dev/null
+++ b/solution_template/likely_a_clock.pp
@@ -0,0 +1,3 @@
+The port $clock.IDENTIFIER$ (from file $clock.FILE$, line $clock.LINE$, column
+$clock.COLUMN$) is passed as parameter of either a rising_edge or a falling_edge
+function, making it likely to be a clock.
diff --git a/solution_template/simple_flip_flop.pp b/solution_template/simple_flip_flop.pp
new file mode 100644
index 0000000..fbad237
--- /dev/null
+++ b/solution_template/simple_flip_flop.pp
@@ -0,0 +1,4 @@
+The process $ps.LABEL$ (declared in $ps.FILE$, l. $ps.LINE$, c. $ps.COLUMN$)
+describes a simple flip-flop controlled by $clk.IDENTIFIER$ (declared in
+$clk.FILE$, l. $clk.LINE$, c. $clk.COLUMN$) and with output $reg.IDENTIFIER$
+(declared in $reg.FILE$, l. $reg.LINE$, c. $reg.COLUMN$).