Skip to content

Instantly share code, notes, and snippets.

William D. Jones cr1901

  • NJ
Block or report user

Report or block cr1901

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
cr1901 / boneless.rtlil
Created Jan 1, 2019
Boneless Formal Example
View boneless.rtlil
# Generated by Yosys 0.8+29 (git sha1 d86ea6ba, x86_64-w64-mingw32-g++ 7.3.0 -Os)
autoidx 712
attribute \cells_not_processed 1
attribute \src "boneless.v:3"
module \boneless_formal
attribute \src "boneless.v:155"
wire $0$formal$boneless.v:161$14_CHECK[0:0]$116
attribute \src "boneless.v:155"
wire $0$formal$boneless.v:161$14_EN[0:0]$117
attribute \src "boneless.v:161"
cr1901 /
Last active Dec 10, 2018
Signed Subtraction Flags Cheat Sheet

Flags table for the operation: a - b

Flag Legend

  • Z- Is the result zero?
  • S- Is the top bit of the result set?
  • C- Did a borrow not occur (see Subtraction on the 6502)?
    • For architectures with a true borrow flag, invert the C bit.
  • V- Does the result of a - b fit within signed 16-bit range?

Other notes

cr1901 /
Last active Jul 1, 2019
Migen Clock Domain Summary

Migen Clock Domains Summary


  • Declaring a clock domain:
    • self.clock_domains.cd_mycd = ClockDomain()
  • Referencing a clock domain:
    • self.sync.mycd += []
    • ClockSignal("mycd")
  • Requesting an I/O signal:
    • platform.request("clk12")
View Makefile
check: $(PROJECT).smt2
yosys-smtbmc -s z3 -t 25 --presat --dump-smt2 $(PROJECT)_bmc.smt2 --dump-vcd $(PROJECT)_bmc.vcd $(PROJECT).smt2
yosys-smtbmc -s z3 -i -t 25 --presat --dump-smt2 $(PROJECT)_tmp.smt2 --dump-vcd $(PROJECT)_tmp.vcd $(PROJECT).smt2
$(PROJECT).smt2: $(PROJECT).v
yosys -s formal.ys
cr1901 /
Last active Jul 24, 2018
NetBSD RPi Build Debug Script
#!/bin/sh -e
DEFAULT_ROOT=Net-dbg-`date +%Y-%m-%d-%H-%M-%S`
export CVSROOT=""
if [ -z ${SRCROOT+x} ]; then
cvs -q checkout -A -P src
cr1901 / libp.txt
Created Jun 27, 2018
MinGW64-provided libpthread.dll.a objdump
View libp.txt
In archive C:/msys64/mingw32/i686-w64-mingw32/lib/libpthread.dll.a:
d000136.o: file format pe-i386
rw-r--r-- 0/0 271 May 18 07:50 2018 d000136.o
architecture: i386, flags 0x00000038:
start address 0x00000000
Characteristics 0x105
relocations stripped
cr1901 / lib.txt
Created Jun 27, 2018
pthreadVC2.lib objdump
View lib.txt
In archive lib/x86/pthreadVC2.lib:
pthreadVC2.dll: file format pe-i386
--------- 0/0 731 Dec 21 20:07 2006 pthreadVC2.dll
architecture: i386, flags 0x0000003d:
start address 0x00000000
Characteristics 0x100
32 bit words
cr1901 /
Created May 17, 2018 — forked from mithro/
Prepare an upstream migen/misoc for merging into litex
#! /bin/bash
set -x
set -e
function git_commit {
git commit -a -m"litex import: $1"
mkdir -p repos
View mschem.out
N0=t(n0, n6, n17)
N1=t(n1, n0, n2)
N2=t(n2, n4, n5)
N3=t(n2, n11, n31)
N4=t(n3, n9, n32)
N5=t(n3, n9, n10)
N6=t(n51, n7, n23)
N7=t(n33, n18, n15)
N8=t(n34, n19, n15)
N9=t(n35, n20, n15)
cr1901 / lcdmain.c
Created Feb 21, 2018
2013 MSP430 LCD Demo
View lcdmain.c
#include <msp430g2231.h>
//const char * lcd_string = "Hello World!";
#define DB7 BIT7
#define DB6 BIT6
#define DB5 BIT5
#define DB4 BIT4
#define ADDR(_x) _x << 4
#define RS BIT0
#define EN BIT1
You can’t perform that action at this time.