punzik

CDC Timing Constraints

Creative Commons Attribution 4.0 International License |cc_by_40_logo|.

punzik

LIB_NAME = my_lib
SOURCES = my_lib.c

$(LIB_NAME).so: $(SOURCES)
	gcc -O2 -shared -o $(LIB_NAME).so $(SOURCES)

punzik

#define _GNU_SOURCE
#include <stdlib.h>
#include <stdio.h>
#include <unistd.h>
#include <sys/stat.h>
#include <fcntl.h>
#include <signal.h>
#include <string.h>

volatile int running = 1;

punzik

#include <stdio.h>
#include <stdlib.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <unistd.h>
#include <signal.h>

#define FIFO_FILE "/tmp/veri.log"
#define TERM_EMU_CMD "xterm -e 'cat /tmp/veri.log'"

punzik

vunit unary_counter_prop(unary_counter(unary_counter_arch)) {
  constant all_zeros : std_logic_vector(LENGTH-1 downto 0) := (others => '0');
  constant all_ones : std_logic_vector(LENGTH-1 downto 0) := (others => '1');

  default clock is rising_edge(clk);

  --
  -- Check for counter code is a unary code
  --
  signal f_check_out: std_logic_vector(LENGTH-1 downto 0) := all_zeros;

punzik

const std = @import("std");
const CrossTarget = @import("std").zig.CrossTarget;
const Target = @import("std").Target;
const Feature = @import("std").Target.Cpu.Feature;

pub fn build(b: *std.Build) void {
    const features = Target.riscv.Feature;
    var disabled_features = Feature.Set.empty;
    var enabled_features = Feature.Set.empty;

punzik

#!/usr/bin/env guile
!#

;; -*- geiser-scheme-implementation: guile -*-

(import (ice-9 textual-ports)           ; read port by lines
        (srfi srfi-1)                   ; lists
        (srfi srfi-11)                  ; let-values
        (srfi srfi-13)                  ; strings
        (srfi srfi-26)                  ; cut

punzik

import pygame
import numpy as np

# Import pygame.locals for easier access to key coordinates
from pygame.locals import (
    K_UP,
    K_DOWN,
    K_LEFT,
    K_RIGHT,
    K_ESCAPE,

punzik

`timescale 1ps/1ps
`default_nettype none

module seq #(parameter SEQUENCE = "")
  (input wire clock,
   output reg out);

    int l, n;
    string s;

punzik

# To run formal verification call SymbiYosys:
# $ sby -f onehot_detector.sby

[options]
mode prove

[engines]
smtbmc yices

[script]