From 9a0b1f5ed471e2752480d91f5fc6a433dac714dc Mon Sep 17 00:00:00 2001 From: ymherklotz Date: Sun, 19 Sep 2021 17:08:57 +0000 Subject: deploy: 54b98a4da47ac332827f9f8186256881575b3d76 --- docs/using-vericert/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/using-vericert/index.html') diff --git a/docs/using-vericert/index.html b/docs/using-vericert/index.html index c752c7f..b42f92b 100644 --- a/docs/using-vericert/index.html +++ b/docs/using-vericert/index.html @@ -1,6 +1,6 @@ Using Vericert | Vericert +void matrix_multiply(int first[2][2], int second[2][2], int multiply[2][2]) { int sum = 0; for (int c = 0; c < 2; c++) { for (int d = 0; d < 2; d++) { for (int k = 0; k < 2; k++) { sum = sum + first[c][k]*second[k][d]; } multiply[c][d] = sum; sum = 0; } } } int main() { int f[2][2] = {{1, 2}, {3, 4}}; int s[2][2] = {{5, 6}, {7, 8}}; int m[2][2] = {{0, 0}, {0, 0}}; matrix_multiply(f, s, m); return m[1][1]; } It can be compiled using the following command, assuming that vericert is somewhere on the path.">Using Vericert | Vericert

Using Vericert

Using Vericert

Vericert can be used to translate a subset of C into Verilog. As a simple example, consider the -- cgit