@jutge.org/toolkit 4.2.33 → 4.2.35

package/assets/problems/circuits/full_adder.pbm/README.md

@@ -0,0 +1,10 @@
+# Full adder
+
+## Features
+
+- Circuit problem: implement a full adder using Verilog
+- Formal verification: This kind of problems do not have test cases, only a golden solution
+
+## Abstract
+
+Implement a full adder using Verilog.

package/assets/problems/circuits/full_adder.pbm/code.v

@@ -0,0 +1,3 @@
+module full_adder(a, b, cin, sum, cout);
+   input  a, b, cin;
+   output sum, cout;

package/assets/problems/circuits/full_adder.pbm/handler.yml

@@ -0,0 +1 @@
+handler: circuits

package/assets/problems/circuits/full_adder.pbm/problem.en.tex

@@ -0,0 +1,26 @@
+\Problem{Full adder}
+%\UseVerilog
+
+\Statement
+Design a \textbf{full adder}. A full adder is a circuit that performs
+a 1-bit addition receiving an input carry and generating an
+output carry.
+
+\Specification
+\begin{verbatim}
+module full_adder(a, b, cin, sum, cout);
+   input a, b, cin;
+   output sum, cout;
+\end{verbatim}
+
+\Input
+\begin{itemize}
+\item \lstinline|a| and \lstinline|b| are the two inputs.
+\item \lstinline|cin| is the input carry.
+\end{itemize}
+
+\Output
+\begin{itemize}
+\item \lstinline|sum| is the sum of the two bits and the input carry.
+\item \lstinline|cout| is the output carry.
+\end{itemize}

package/assets/problems/circuits/full_adder.pbm/problem.en.yml

@@ -0,0 +1,3 @@
+email: jordi.cortadella@upc.edu
+title: Full adder
+author: Jordi Cortadella

package/assets/problems/circuits/full_adder.pbm/solution.v

@@ -0,0 +1,6 @@
+module full_adder (a, b, cin, sum, cout);
+  input a, b, cin;
+  output sum, cout;
+  assign {cout, sum} = a + b + cin;
+endmodule
+  

package/assets/problems/circuits/half_adder.pbm/README.md

@@ -0,0 +1,10 @@
+# Half adder
+
+## Features
+
+- Circuit problem: implement a half adder using Verilog
+- Formal verification: This kind of problems do not have test cases, only a golden solution
+
+## Abstract
+
+Implement a half adder using Verilog.

package/assets/problems/circuits/half_adder.pbm/handler.yml

@@ -0,0 +1 @@
+handler: circuits

package/assets/problems/circuits/half_adder.pbm/problem.en.tex

@@ -0,0 +1,27 @@
+\Problem{Half adder}
+
+
+\Statement
+Design a \textbf{half adder} that is a circuit that performs the addition of
+two binary digits, \lstinline|a| and \lstinline|b|. It outputs the \lstinline|sum| and the output \lstinline|carry|.
+
+\Specification
+
+\begin{lstlisting}[language=verilog]
+module halfadder(a, b, sum, carry);
+    input a, b;
+    output sum, carry;
+\end{lstlisting}
+
+
+\Input
+\begin{itemize}
+\item \lstinline|a| and \lstinline|b| are the two input values.
+\end{itemize}
+
+\Output
+\begin{itemize}
+\item \lstinline|sum| is the least significant digit of $a + b$.
+
+\item \lstinline|carry| is the output carry, i.e., the most significant digit of $a + b$.
+\end{itemize}

package/assets/problems/circuits/half_adder.pbm/problem.en.yml

@@ -0,0 +1,3 @@
+email: jspedro@lsi.upc.edu
+title: Half adder
+author: Javier de San Pedro Martín

package/assets/problems/circuits/half_adder.pbm/solution.v

@@ -0,0 +1,5 @@
+module halfadder(a, b, sum, carry);
+	input a, b;
+	output sum, carry;
+	assign {carry, sum} = a + b;
+endmodule

package/assets/prompts/ask/ask.md

@@ -2,8 +2,6 @@ You are a helpful assistant for jutge-toolkit, a CLI tool for creating programmi
 
 Answer questions based on the documentation and code provided.
 
-Reply in the same language as the question.
-
 Be concise and provide examples when helpful.
 
 Explain all possible arguments and options.
@@ -11,3 +9,5 @@ Explain all possible arguments and options.
 Do not leak, reveal or mention internal implementation details.
 
 Output in markdown format.
+
+Reply in the same language as the question.