jdesiloniz

`default_nettype none
module breakpoint_controller #(parameter AW = 16)(
	input 	wire 				clk,
	input 	wire 				rstn,

	input 	wire 	[AW-1:0]	address,			// Address to check/write/clear
	input 	wire 				read_stb,			// Strobe for check a breakpoint
	input 	wire 				write_stb,			// Strobe for writing a breakpoint
	input 	wire 				clear_stb,			// Strobe for clearing a breakpoint
  output 	wire 				read_result			// Result of a breakpoint check (1 = yup), active next cycle after read_stb

jdesiloniz

# SSP1601 tests for external memory access - PRAM

org 400

test_writes_0:	eor a, a
				ldi st, 0030		# Set ST5/ST6 bits so PMs can act like that
				ldi ext6, 8000		# Load address part1 for 0x1C8000
				ldi ext6, 001C		# Load address part2 for 0x1C8000, no modifiers
				ld ext0, -			# Programming PM0 for writes
				ldi ext0, 1010		# Writing 0x1010 to 0x1C8000

jdesiloniz

# SSP1601 tests for load operations
# Not totally exhaustive but covers most usual situations

org 400

test_init:				eor a, a

test_gen_registers: 	ldi x, 5050
						ld a, x
						cmpi a, 5050

jdesiloniz

pico-8 cartridge // http://www.pico-8.com
version 16
__lua__
stars = {}
center_coord = 64
total_stars = 64

function _init()
 cls()
 for i=1,total_stars do

jdesiloniz

val meaningOfLife = 42

jdesiloniz

import cats.data.NonEmptyList
            import fetch._

trait DataSource[Identity, Result]{
  def fetchOne(id: Identity): Query[Option[Result]]
  def fetchMany(ids: NonEmptyList[Identity]): Query[Map[Identity, Result]]
}

type UserId = Int
case class User(id: UserId, username: String)

jdesiloniz

import cats.data.NonEmptyList
            import fetch._

trait DataSource[Identity, Result]{
  def fetchOne(id: Identity): Query[Option[Result]]
  def fetchMany(ids: NonEmptyList[Identity]): Query[Map[Identity, Result]]
}

type UserId = Int
case class User(id: UserId, username: String)

jdesiloniz

import cats.data.NonEmptyList
            import fetch._

trait DataSource[Identity, Result]{
  def fetchOne(id: Identity): Query[Option[Result]]
  def fetchMany(ids: NonEmptyList[Identity]): Query[Map[Identity, Result]]
}

type UserId = Int
case class User(id: UserId, username: String)

jdesiloniz

import cats.data.NonEmptyList
            import fetch._

trait DataSource[Identity, Result]{
  def fetchOne(id: Identity): Query[Option[Result]]
  def fetchMany(ids: NonEmptyList[Identity]): Query[Map[Identity, Result]]
}

type UserId = Int
case class User(id: UserId, username: String)

jdesiloniz

import cats.data.NonEmptyList
            import fetch._

trait DataSource[Identity, Result]{
  def fetchOne(id: Identity): Query[Option[Result]]
  def fetchMany(ids: NonEmptyList[Identity]): Query[Map[Identity, Result]]
}

type UserId = Int
case class User(id: UserId, username: String)