Website review zipcpu.com

The ZipCPU by Gisselquist Technology

Generated on May 03 2026 13:40 PM

Old data? UPDATE !

The score is 56/100

SEO Content

Title

The ZipCPU by Gisselquist Technology

Length : 36

Perfect, your title contains between 10 and 70 characters.

Description

The ZipCPU blog, featuring how to discussions of FPGA and soft-core CPU design. This site will be focused on Verilog solutions, using exclusively OpenSource IP products for FPGA design. Particular focus areas include topics often left out of more mainstream FPGA design courses such as how to debug an FPGA design.

Length : 317

Ideally, your meta description should contain between 70 and 160 characters (spaces included). Use this free tool to calculate text length.

Keywords

Very bad. We haven't found meta keywords on your page. Use this free online meta tags generator to create keywords.

Og Meta Properties

This page does not take advantage of Og Properties. This tags allows social crawler's better structurize your page. Use this free og properties generator to create them.

Headings

H1	H2	H3	H4	H5	H6
1	270	0	0	0	0

[H1] Blog Posts
[H2] Device Clock Generation
[H2] Quiz #24: Is there an AXI bug here?
[H2] Comparing the Xilinx MIG with an open source DDR3 controller
[H2] Wrap addressing
[H2] Your problem is not AXI
[H2] My Personal Journey in Verification
[H2] Debugging video from across the ocean
[H2] Bringing up Kimos
[H2] Chasing resets
[H2] 2023, Year in review
[H2] An Overview of a 10Gb Ethernet Switch
[H2] SDIO RX: Bugs found w/ Formal methods
[H2] Using a Verilog task to simulate a packet generator for an SDIO controller
[H2] Introducing the ZipCPU v3.0
[H2] What is a Virtual Packet FIFO?
[H2] What is a SwiC?
[H2] Debugging the Hard Stuff
[H2] Your soft-core CPU won't boot. Where should you start debugging?
[H2] Thanksgiving! I have much to be thankful for
[H2] Quiz #23: Can this assertion fail?
[H2] A first lesson in sales pitches: Honesty
[H2] Quiz #22: Handling cover failures
[H2] Measuring the Steps to Design Checkoff
[H2] Assignment delay's and Verilog's wait statement
[H2] It's not my fault! Your code is broken.
[H2] Protocol Design for Network Debugging
[H2] Quiz #21: Verifying all configurations of a design
[H2] ZipCPU Lesson: If it's not tested, it doesn't work.
[H2] A Coming Economic Downturn? or Worse?
[H2] Quiz #20: Using $stable in a multiclock environment
[H2] Learning AXI: Where to start?
[H2] Bringing up a new piece of hardware -- what can go wrong?
[H2] Rethinking Video with AXI video streams
[H2] AXI Stream is broken
[H2] 2020 and 2021 in review
[H2] Quiz #19: Using disable iff in a concurrent assertion
[H2] Creating a Simple AXI-Lite Master for the Hexbus
[H2] Envisioning the Ultimate I2C Controller
[H2] Clock Gating
[H2] Upgrading the ZipCPU's memory unit from AXI4-lite to AXI4
[H2] Quiz #18: Failures in clocked immediate assertions
[H2] AXI Handshaking Rules
[H2] Measuring AXI latency and throughput performance
[H2] Quiz #17: Induction failures
[H2] The other half of the Gospel
[H2] CPU based simulation, first thoughts
[H2] Quiz #16: Immediate assertions in the presence of asynchronous resets
[H2] Building a Better Verilog Multiply for the ZipCPU
[H2] Examples of AXI4 bus masters
[H2] Quiz #15: Pass-through memory
[H2] Fixing Xilinx's Broken AXI-lite Design in VHDL
[H2] Building a Simple AXI-lite Memory Controller
[H2] Common AXI Themes on Xilinx's Forum
[H2] Whatever happened to the ZipOS?
[H2] Lessons learned while building an ASIC design
[H2] The FPGA designer who didn't get the job
[H2] Ultimate Logic
[H2] Quiz #14: Two nearly identical frequencies
[H2] Formally verifying register handling
[H2] Is it possible to make a living as a solo digital design engineer?
[H2] Spectrograms need Window Functions
[H2] A fun Friday evening--verifying an AXI-lite slave
[H2] Moving values and strobes cross clock domains
[H2] Quiz #13: Temporal assertion equivalences
[H2] Run length encoding an AXI stream
[H2] Driving an output on both edges of the clock
[H2] Building a Downsampling Filter
[H2] I have a brand new piece of IP. How shall I verify it?
[H2] Measuring clock speed
[H2] The hard part of building a bursting AXI Master
[H2] Four keys to getting your design to work the first time
[H2] Quiz #12: Catching extraneous acknowledgments
[H2] Building a Protocol Firewall
[H2] Debugging AXI Streams
[H2] Adding an AXI-Lite interface to your Verilator test script
[H2] Re: What does your design flow look like?
[H2] Building a basic AXI Master
[H2] Cheap Spectral Estimation
[H2] Locally resetting an AXI component
[H2] Adjusting our logic PLL to handle I&Q
[H2] Buidilng an AXI-Lite slave the easy way
[H2] The Faith of a Mustard Seed
[H2] A Histogram Gone Bad
[H2] Quiz #11: Induction and clock enables
[H2] Quiz #10: Checking stall conditions
[H2] Lessons in Hardware Reuse
[H2] 2019: AXI Meets Formal Verification
[H2] The Christmas Gospel
[H2] Using a Histogram to Debug A/D Data Streams
[H2] Quiz #9: Immediate assertions midst blocking assignments
[H2] Quiz #8: Will this pass a bounded model check?
[H2] The ZipCPU meets blinky
[H2] Formally Verifying a General Purpose Ultra-Micro Controller
[H2] Quiz #7: Returning to $past() and our counter again
[H2] Putting the pieces together to build a data recorder
[H2] Is formal verfication enough, or is simulation required?
[H2] Quiz #6: Synchronous logic in Asynchronous contexts
[H2] AXI Verification, the story so far
[H2] Understanding AutoFPGA's address assignment algorithm
[H2] Quiz #5: Immediate vs Concurrent Assertions
[H2] Connecting lots of slaves to a bus without using a lot of logic
[H2] Quiz #4: If this counter is never triggered, can we prove it'll never leave zero?
[H2] Technology Debt and AutoFPGA, the bill just came due
[H2] Xilinx deleted this post
[H2] Quiz #3: Will formal verification prove this counter keeps its bounds?
[H2] Planning an Intermediate Design Tutorial
[H2] Quiz #2: Will this counter pass formal verification?
[H2] Quiz #1: Will the assertion below ever fail?
[H2] Just how long does a formal proof take to finish?
[H2] Lessons learned while building crossbar interconnects
[H2] Breaking all the rules to create an arbitrary clock signal
[H2] Building the perfect AXI4 slave
[H2] Building a Skid Buffer for AXI processing
[H2] Examining Xilinx's AXI demonstration core
[H2] Understanding AXI Addressing
[H2] Project Ideas: PMod AMP2
[H2] Applying Formal Methods to the Events of the Resurrection
[H2] The most common AXI mistake
[H2] The ZipCPU's Interrupt Controller
[H2] Logic usage and decoding return results with cascaded multiplexers
[H2] Building a universal QSPI flash controller
[H2] Introducing the ArrowZip ZipCPU design, featuring the Max-1000
[H2] Using Sequence Properties to Verify a Serial Port Transmitter
[H2] Why does blinky make a CPU appear to be so slow?
[H2] Debugging a CPU
[H2] Building a custom yet functional AXI-lite slave
[H2] ZipCPU highlights from 2018
[H2] Using a formal property file to verify an AXI-lite peripheral
[H2] AutoFPGA's linker script support gets an update
[H2] Makefiles for formal proofs with SymbiYosys
[H2] Swapping assumptions and assertions doesn't work
[H2] Building a video controller: it's just a pair of counters
[H2] Accessing the registers of a SoC+FPGA
[H2] Taking a look at the TinyFPGA BX
[H2] To my new readers and my new twitter followers, welcome!
[H2] An Open Source Pipelined FFT Generator
[H2] It's time for ORCONF 2018!
[H2] My design works in simulation, but not in hardware. Can formal methods help me?
[H2] Handling multiple clocks with Verilator
[H2] RE: Building a simulation for my design? What does that mean?
[H2] How to build a SPI Flash Controller for an FPGA
[H2] Reasons why Synthesis might not match Simulation
[H2] Why I like Formal: the ZipCPU and the ICO board
[H2] What does Formal Development look like in Practice?
[H2] Formally Verifying Memory and Cache Components
[H2] Crossing clock domains with an Asynchronous FIFO
[H2] Formally Verifying Asynchronous Components
[H2] A Slow but Symmetric FIR Filter Implementation
[H2] Updated Projects List
[H2] Aggregating verified modules together
[H2] ZipTimer: A simple countdown timer
[H2] Formally Verifying an Asynchronous Reset
[H2] What would you like to see on the ZipCPU blog?
[H2] Will formal methods ever find a bug in a working CPU?
[H2] Resurrection Day!
[H2] Quadratic fits are entirely inappropriate for DSP
[H2] Pipelining a Prefetch
[H2] Is formal really all that hard?
[H2] An Exercise in using Formal Induction
[H2] Want to use ZBasic? Let's have some fun--no actual FPGA required!
[H2] Debugging a Cyclone-V
[H2] ZipCPU toolchain and initial test
[H2] Updating ZipCPU files
[H2] Interpolation is just a special type of convolution
[H2] A Quick Introduction to the ZipCPU Instruction Set
[H2] Top 10 ZipCPU blog posts for 2017
[H2] A better filter implementation for slower signals
[H2] Mystery post: The ugliest bug I've ever encountered
[H2] Arrow's Max-1000: A gem for all the wrong reasons
[H2] Building a Simple Logic PLL
[H2] Building a Numerically Controlled Oscillator
[H2] Testing the fast, generic FIR filter
[H2] Thank you!
[H2] Measuring the frequency response of a filter under test
[H2] Building a prefetch module for the ZipCPU
[H2] Generating more than one bit at a time with an LFSR
[H2] An example LFSR
[H2] A Configurable Signal Delay Element
[H2] Building Formal Assumptions to Describe Wishbone Behaviour
[H2] The Interface to a Generic Filtering Testbench
[H2] Good Software Engineering Principles Apply to Students Too
[H2] Generating Pseudo-Random Numbers on an FPGA
[H2] Some Simple Clock-Domain Crossing Solutions
[H2] My first experience with Formal Methods
[H2] Just some notes to new readers of the ZipCPU blog
[H2] Implementing the Moving Average (Boxcar) filter
[H2] FPGAs vs ASICs
[H2] It's all about the interfaces
[H2] Using AutoFPGA to connect simple registers to a debugging bus
[H2] A Brief Introduction to AutoFPGA
[H2] A CORDIC testbench
[H2] A Cheaper Fast FIR Filter
[H2] Understanding the effects of Quantization
[H2] Clocks for Software Engineers
[H2] Demonstrating the improved PWM waveform
[H2] Building a high speed Finite Impulse Response (FIR) Digital Filter
[H2] Even I get stuck in FPGA Hell
[H2] Glad I went to ORCONF
[H2] Off to ORCONF-2017!
[H2] Reinventing PWM
[H2] Big Money Engineering Integrity
[H2] CORDIC part two: rectangular to polar conversion
[H2] Using a CORDIC to calculate sines and cosines in an FPGA
[H2] Building a quarter sine-wave lookup table
[H2] Debugging your soft-core CPU within an FPGA
[H2] The ZipCPU's pipeline logic
[H2] Rules for new FPGA designers
[H2] Two of the Simplest Digital filters
[H2] Strategies for pipelining logic
[H2] What would cause you to lie?
[H2] A Simple ALU, drawn from the ZipCPU
[H2] Series: Debouncing in Digital Logic
[H2] Using a debug-bus to Measure Bouncing
[H2] Measuring Contact Bounce
[H2] How to eliminate button bounces with digital logic
[H2] Visualizing Contact Bounce
[H2] ZipCPU Advertising
[H2] Writing your own VCD File
[H2] Linear Interpolation
[H2] Getting the basic FIFO right
[H2] Windows FPGA designers may not need a Linux machine ... yet
[H2] How to build a simulation based debugger for your own soft-core CPU
[H2] How to Debug a DSP algorithm
[H2] Rounding Numbers without Adding a Bias
[H2] Bit growth in FPGA arithmetic
[H2] A Basic Upsampling Linear Interpolator
[H2] Verilator doesn't find everything (today)
[H2] Design Needs when Debugging a SoftCore CPU
[H2] The simplest sine wave generator within an FPGA
[H2] Getting Started with the Wishbone Scope
[H2] Finishing off the debugging bus: building a software interface
[H2] Why you want a debug port into your FPGA
[H2] Simulating an FPGA through the debugging interface
[H2] My own FPGA debugging philosophy
[H2] Building a very simple wishbone interconnect
[H2] Taking a New Look at Verilator
[H2] Putting our Debugging Bus RTL Components Together
[H2] Sending bus idle notifications down the line
[H2] Why Use a Network Interface to your FPGA
[H2] Support me on Patreon
[H2] The debugging bus: a goal for FPGA interaction
[H2] Adding interrupt reporting to our debugging bus
[H2] How to send our bus results back out the serial port
[H2] No PI for you
[H2] How to create bus command words, from a 7-bit data stream
[H2] Minimizing FPGA Resource Utilization
[H2] A College Student's Response to the FPGA Design Process
[H2] Building a Simple Wishbone Master
[H2] Building A Simple In-Circuit Logic Analyzer
[H2] Nearest Neighbor Interpolation
[H2] An Overview of a Wishbone-UART Bridge
[H2] Campus Sidewalks and FPGA Design
[H2] Controlling Timing within an FPGA
[H2] The Actual FPGA Design Process
[H2] Building a simple wishbone slave
[H2] Bus Select Lines
[H2] FFT debugging
[H2] Debugging an FPGA through the serial port--first steps
[H2] That first serial port: Debugging when you are blind
[H2] Building a simple bus
[H2] Moving to memory
[H2] A Vision for Controlling FPGA Logic
[H2] Which comes first: the CPU or the peripherals?
[H2] Knight Rider
[H2] FPGA Hell
[H2] Blinky
[H2] Most common Digilent FPGA support requests
[H2] Cannot be done
[H2] Welcome to the ZipCPU blog!
[H2] The ZipCPU by Gisselquist Technology

Images

We found 3 images on this web page.

2 alt attributes are empty or missing. Add alternative text so that search engines can better understand the content of your images.

Text/HTML Ratio

Ratio : 1%

This page's ratio of text to HTML code is below 15 percent, this means that your website probably needs more text content.

Flash

Perfect, no Flash content has been detected on this page.

Iframe

Great, there are no Iframes detected on this page.

SEO Links

URL Rewrite

Good. Your links looks friendly!

Underscores in the URLs

Perfect! No underscores detected in your URLs.

In-page links

We found a total of 277 links including 0 link(s) to files

Anchor	Type	Juice
About Us	Internal	Passing Juice
FPGA Hell	Internal	Passing Juice
Tutorial	Internal	Passing Juice
Formal training	Internal	Passing Juice
Quizzes	Internal	Passing Juice
Projects	Internal	Passing Juice
Site Index	Internal	Passing Juice
Device Clock Generation	Internal	Passing Juice
Quiz #24: Is there an AXI bug here?	Internal	Passing Juice
Comparing the Xilinx MIG with an open source DDR3 controller	Internal	Passing Juice
Wrap addressing	Internal	Passing Juice
Your problem is not AXI	Internal	Passing Juice
My Personal Journey in Verification	Internal	Passing Juice
Debugging video from across the ocean	Internal	Passing Juice
Bringing up Kimos	Internal	Passing Juice
Chasing resets	Internal	Passing Juice
2023, Year in review	Internal	Passing Juice
An Overview of a 10Gb Ethernet Switch	Internal	Passing Juice
SDIO RX: Bugs found w/ Formal methods	Internal	Passing Juice
Using a Verilog task to simulate a packet generator for an SDIO controller	Internal	Passing Juice
Introducing the ZipCPU v3.0	Internal	Passing Juice
What is a Virtual Packet FIFO?	Internal	Passing Juice
What is a SwiC?	Internal	Passing Juice
Debugging the Hard Stuff	Internal	Passing Juice
Your soft-core CPU won't boot. Where should you start debugging?	Internal	Passing Juice
Thanksgiving! I have much to be thankful for	Internal	Passing Juice
Quiz #23: Can this assertion fail?	Internal	Passing Juice
A first lesson in sales pitches: Honesty	Internal	Passing Juice
Quiz #22: Handling cover failures	Internal	Passing Juice
Measuring the Steps to Design Checkoff	Internal	Passing Juice
Assignment delay's and Verilog's wait statement	Internal	Passing Juice
It's not my fault! Your code is broken.	Internal	Passing Juice
Protocol Design for Network Debugging	Internal	Passing Juice
Quiz #21: Verifying all configurations of a design	Internal	Passing Juice
ZipCPU Lesson: If it's not tested, it doesn't work.	Internal	Passing Juice
A Coming Economic Downturn? or Worse?	Internal	Passing Juice
Quiz #20: Using $stable in a multiclock environment	Internal	Passing Juice
Learning AXI: Where to start?	Internal	Passing Juice
Bringing up a new piece of hardware -- what can go wrong?	Internal	Passing Juice
Rethinking Video with AXI video streams	Internal	Passing Juice
AXI Stream is broken	Internal	Passing Juice
2020 and 2021 in review	Internal	Passing Juice
Quiz #19: Using disable iff in a concurrent assertion	Internal	Passing Juice
Creating a Simple AXI-Lite Master for the Hexbus	Internal	Passing Juice
Envisioning the Ultimate I2C Controller	Internal	Passing Juice
Clock Gating	Internal	Passing Juice
Upgrading the ZipCPU's memory unit from AXI4-lite to AXI4	Internal	Passing Juice
Quiz #18: Failures in clocked immediate assertions	Internal	Passing Juice
AXI Handshaking Rules	Internal	Passing Juice
Measuring AXI latency and throughput performance	Internal	Passing Juice
Quiz #17: Induction failures	Internal	Passing Juice
The other half of the Gospel	Internal	Passing Juice
CPU based simulation, first thoughts	Internal	Passing Juice
Quiz #16: Immediate assertions in the presence of asynchronous resets	Internal	Passing Juice
Building a Better Verilog Multiply for the ZipCPU	Internal	Passing Juice
Examples of AXI4 bus masters	Internal	Passing Juice
Quiz #15: Pass-through memory	Internal	Passing Juice
Fixing Xilinx's Broken AXI-lite Design in VHDL	Internal	Passing Juice
Building a Simple AXI-lite Memory Controller	Internal	Passing Juice
Common AXI Themes on Xilinx's Forum	Internal	Passing Juice
Whatever happened to the ZipOS?	Internal	Passing Juice
Lessons learned while building an ASIC design	Internal	Passing Juice
The FPGA designer who didn't get the job	Internal	Passing Juice
Ultimate Logic	Internal	Passing Juice
Quiz #14: Two nearly identical frequencies	Internal	Passing Juice
Formally verifying register handling	Internal	Passing Juice
Is it possible to make a living as a solo digital design engineer?	Internal	Passing Juice
Spectrograms need Window Functions	Internal	Passing Juice
A fun Friday evening--verifying an AXI-lite slave	Internal	Passing Juice
Moving values and strobes cross clock domains	Internal	Passing Juice
Quiz #13: Temporal assertion equivalences	Internal	Passing Juice
Run length encoding an AXI stream	Internal	Passing Juice
Driving an output on both edges of the clock	Internal	Passing Juice
Building a Downsampling Filter	Internal	Passing Juice
I have a brand new piece of IP. How shall I verify it?	Internal	Passing Juice
Measuring clock speed	Internal	Passing Juice
The hard part of building a bursting AXI Master	Internal	Passing Juice
Four keys to getting your design to work the first time	Internal	Passing Juice
Quiz #12: Catching extraneous acknowledgments	Internal	Passing Juice
Building a Protocol Firewall	Internal	Passing Juice
Debugging AXI Streams	Internal	Passing Juice
Adding an AXI-Lite interface to your Verilator test script	Internal	Passing Juice
Re: What does your design flow look like?	Internal	Passing Juice
Building a basic AXI Master	Internal	Passing Juice
Cheap Spectral Estimation	Internal	Passing Juice
Locally resetting an AXI component	Internal	Passing Juice
Adjusting our logic PLL to handle I&Q	Internal	Passing Juice
Buidilng an AXI-Lite slave the easy way	Internal	Passing Juice
The Faith of a Mustard Seed	Internal	Passing Juice
A Histogram Gone Bad	Internal	Passing Juice
Quiz #11: Induction and clock enables	Internal	Passing Juice
Quiz #10: Checking stall conditions	Internal	Passing Juice
Lessons in Hardware Reuse	Internal	Passing Juice
2019: AXI Meets Formal Verification	Internal	Passing Juice
The Christmas Gospel	Internal	Passing Juice
Using a Histogram to Debug A/D Data Streams	Internal	Passing Juice
Quiz #9: Immediate assertions midst blocking assignments	Internal	Passing Juice
Quiz #8: Will this pass a bounded model check?	Internal	Passing Juice
The ZipCPU meets blinky	Internal	Passing Juice
Formally Verifying a General Purpose Ultra-Micro Controller	Internal	Passing Juice
Quiz #7: Returning to $past() and our counter again	Internal	Passing Juice
Putting the pieces together to build a data recorder	Internal	Passing Juice
Is formal verfication enough, or is simulation required?	Internal	Passing Juice
Quiz #6: Synchronous logic in Asynchronous contexts	Internal	Passing Juice
AXI Verification, the story so far	Internal	Passing Juice
Understanding AutoFPGA's address assignment algorithm	Internal	Passing Juice
Quiz #5: Immediate vs Concurrent Assertions	Internal	Passing Juice
Connecting lots of slaves to a bus without using a lot of logic	Internal	Passing Juice
Quiz #4: If this counter is never triggered, can we prove it'll never leave zero?	Internal	Passing Juice
Technology Debt and AutoFPGA, the bill just came due	Internal	Passing Juice
Xilinx deleted this post	Internal	Passing Juice
Quiz #3: Will formal verification prove this counter keeps its bounds?	Internal	Passing Juice
Planning an Intermediate Design Tutorial	Internal	Passing Juice
Quiz #2: Will this counter pass formal verification?	Internal	Passing Juice
Quiz #1: Will the assertion below ever fail?	Internal	Passing Juice
Just how long does a formal proof take to finish?	Internal	Passing Juice
Lessons learned while building crossbar interconnects	Internal	Passing Juice
Breaking all the rules to create an arbitrary clock signal	Internal	Passing Juice
Building the perfect AXI4 slave	Internal	Passing Juice
Building a Skid Buffer for AXI processing	Internal	Passing Juice
Examining Xilinx's AXI demonstration core	Internal	Passing Juice
Understanding AXI Addressing	Internal	Passing Juice
Project Ideas: PMod AMP2	Internal	Passing Juice
Applying Formal Methods to the Events of the Resurrection	Internal	Passing Juice
The most common AXI mistake	Internal	Passing Juice
The ZipCPU's Interrupt Controller	Internal	Passing Juice
Logic usage and decoding return results with cascaded multiplexers	Internal	Passing Juice
Building a universal QSPI flash controller	Internal	Passing Juice
Introducing the ArrowZip ZipCPU design, featuring the Max-1000	Internal	Passing Juice
Using Sequence Properties to Verify a Serial Port Transmitter	Internal	Passing Juice
Why does blinky make a CPU appear to be so slow?	Internal	Passing Juice
Debugging a CPU	Internal	Passing Juice
Building a custom yet functional AXI-lite slave	Internal	Passing Juice
ZipCPU highlights from 2018	Internal	Passing Juice
Using a formal property file to verify an AXI-lite peripheral	Internal	Passing Juice
AutoFPGA's linker script support gets an update	Internal	Passing Juice
Makefiles for formal proofs with SymbiYosys	Internal	Passing Juice
Swapping assumptions and assertions doesn't work	Internal	Passing Juice
Building a video controller: it's just a pair of counters	Internal	Passing Juice
Accessing the registers of a SoC+FPGA	Internal	Passing Juice
Taking a look at the TinyFPGA BX	Internal	Passing Juice
To my new readers and my new twitter followers, welcome!	Internal	Passing Juice
An Open Source Pipelined FFT Generator	Internal	Passing Juice
It's time for ORCONF 2018!	Internal	Passing Juice
My design works in simulation, but not in hardware. Can formal methods help me?	Internal	Passing Juice
Handling multiple clocks with Verilator	Internal	Passing Juice
RE: Building a simulation for my design? What does that mean?	Internal	Passing Juice
How to build a SPI Flash Controller for an FPGA	Internal	Passing Juice
Reasons why Synthesis might not match Simulation	Internal	Passing Juice
Why I like Formal: the ZipCPU and the ICO board	Internal	Passing Juice
What does Formal Development look like in Practice?	Internal	Passing Juice
Formally Verifying Memory and Cache Components	Internal	Passing Juice
Crossing clock domains with an Asynchronous FIFO	Internal	Passing Juice
Formally Verifying Asynchronous Components	Internal	Passing Juice
A Slow but Symmetric FIR Filter Implementation	Internal	Passing Juice
Updated Projects List	Internal	Passing Juice
Aggregating verified modules together	Internal	Passing Juice
ZipTimer: A simple countdown timer	Internal	Passing Juice
Formally Verifying an Asynchronous Reset	Internal	Passing Juice
What would you like to see on the ZipCPU blog?	Internal	Passing Juice
Will formal methods ever find a bug in a working CPU?	Internal	Passing Juice
Resurrection Day!	Internal	Passing Juice
Quadratic fits are entirely inappropriate for DSP	Internal	Passing Juice
Pipelining a Prefetch	Internal	Passing Juice
Is formal really all that hard?	Internal	Passing Juice
An Exercise in using Formal Induction	Internal	Passing Juice
Want to use ZBasic? Let's have some fun--no actual FPGA required!	Internal	Passing Juice
Debugging a Cyclone-V	Internal	Passing Juice
ZipCPU toolchain and initial test	Internal	Passing Juice
Updating ZipCPU files	Internal	Passing Juice
Interpolation is just a special type of convolution	Internal	Passing Juice
A Quick Introduction to the ZipCPU Instruction Set	Internal	Passing Juice
Top 10 ZipCPU blog posts for 2017	Internal	Passing Juice
A better filter implementation for slower signals	Internal	Passing Juice
Mystery post: The ugliest bug I've ever encountered	Internal	Passing Juice
Arrow's Max-1000: A gem for all the wrong reasons	Internal	Passing Juice
Building a Simple Logic PLL	Internal	Passing Juice
Building a Numerically Controlled Oscillator	Internal	Passing Juice
Testing the fast, generic FIR filter	Internal	Passing Juice
Thank you!	Internal	Passing Juice
Measuring the frequency response of a filter under test	Internal	Passing Juice
Building a prefetch module for the ZipCPU	Internal	Passing Juice
Generating more than one bit at a time with an LFSR	Internal	Passing Juice
An example LFSR	Internal	Passing Juice
A Configurable Signal Delay Element	Internal	Passing Juice
Building Formal Assumptions to Describe Wishbone Behaviour	Internal	Passing Juice
The Interface to a Generic Filtering Testbench	Internal	Passing Juice
Good Software Engineering Principles Apply to Students Too	Internal	Passing Juice
Generating Pseudo-Random Numbers on an FPGA	Internal	Passing Juice
Some Simple Clock-Domain Crossing Solutions	Internal	Passing Juice
My first experience with Formal Methods	Internal	Passing Juice
Just some notes to new readers of the ZipCPU blog	Internal	Passing Juice
Implementing the Moving Average (Boxcar) filter	Internal	Passing Juice
FPGAs vs ASICs	Internal	Passing Juice
It's all about the interfaces	Internal	Passing Juice
Using AutoFPGA to connect simple registers to a debugging bus	Internal	Passing Juice
A Brief Introduction to AutoFPGA	Internal	Passing Juice
A CORDIC testbench	Internal	Passing Juice
A Cheaper Fast FIR Filter	Internal	Passing Juice
Understanding the effects of Quantization	Internal	Passing Juice
Clocks for Software Engineers	Internal	Passing Juice
Demonstrating the improved PWM waveform	Internal	Passing Juice
Building a high speed Finite Impulse Response (FIR) Digital Filter	Internal	Passing Juice
Even I get stuck in FPGA Hell	Internal	Passing Juice
Glad I went to ORCONF	Internal	Passing Juice
Off to ORCONF-2017!	Internal	Passing Juice
Reinventing PWM	Internal	Passing Juice
Big Money Engineering Integrity	Internal	Passing Juice
CORDIC part two: rectangular to polar conversion	Internal	Passing Juice
Using a CORDIC to calculate sines and cosines in an FPGA	Internal	Passing Juice
Building a quarter sine-wave lookup table	Internal	Passing Juice
Debugging your soft-core CPU within an FPGA	Internal	Passing Juice
The ZipCPU's pipeline logic	Internal	Passing Juice
Rules for new FPGA designers	Internal	Passing Juice
Two of the Simplest Digital filters	Internal	Passing Juice
Strategies for pipelining logic	Internal	Passing Juice
What would cause you to lie?	Internal	Passing Juice
A Simple ALU, drawn from the ZipCPU	Internal	Passing Juice
Series: Debouncing in Digital Logic	Internal	Passing Juice
Using a debug-bus to Measure Bouncing	Internal	Passing Juice
Measuring Contact Bounce	Internal	Passing Juice
How to eliminate button bounces with digital logic	Internal	Passing Juice
Visualizing Contact Bounce	Internal	Passing Juice
ZipCPU Advertising	Internal	Passing Juice
Writing your own VCD File	Internal	Passing Juice
Linear Interpolation	Internal	Passing Juice
Getting the basic FIFO right	Internal	Passing Juice
Windows FPGA designers may not need a Linux machine ... yet	Internal	Passing Juice
How to build a simulation based debugger for your own soft-core CPU	Internal	Passing Juice
How to Debug a DSP algorithm	Internal	Passing Juice
Rounding Numbers without Adding a Bias	Internal	Passing Juice
Bit growth in FPGA arithmetic	Internal	Passing Juice
A Basic Upsampling Linear Interpolator	Internal	Passing Juice
Verilator doesn't find everything (today)	Internal	Passing Juice
Design Needs when Debugging a SoftCore CPU	Internal	Passing Juice
The simplest sine wave generator within an FPGA	Internal	Passing Juice
Getting Started with the Wishbone Scope	Internal	Passing Juice
Finishing off the debugging bus: building a software interface	Internal	Passing Juice
Why you want a debug port into your FPGA	Internal	Passing Juice
Simulating an FPGA through the debugging interface	Internal	Passing Juice
My own FPGA debugging philosophy	Internal	Passing Juice
Building a very simple wishbone interconnect	Internal	Passing Juice
Taking a New Look at Verilator	Internal	Passing Juice
Putting our Debugging Bus RTL Components Together	Internal	Passing Juice
Sending bus idle notifications down the line	Internal	Passing Juice
Why Use a Network Interface to your FPGA	Internal	Passing Juice
Support me on Patreon	Internal	Passing Juice
The debugging bus: a goal for FPGA interaction	Internal	Passing Juice
Adding interrupt reporting to our debugging bus	Internal	Passing Juice
How to send our bus results back out the serial port	Internal	Passing Juice
No PI for you	Internal	Passing Juice
How to create bus command words, from a 7-bit data stream	Internal	Passing Juice
Minimizing FPGA Resource Utilization	Internal	Passing Juice
A College Student's Response to the FPGA Design Process	Internal	Passing Juice
Building a Simple Wishbone Master	Internal	Passing Juice
Building A Simple In-Circuit Logic Analyzer	Internal	Passing Juice
Nearest Neighbor Interpolation	Internal	Passing Juice
An Overview of a Wishbone-UART Bridge	Internal	Passing Juice
Campus Sidewalks and FPGA Design	Internal	Passing Juice
Controlling Timing within an FPGA	Internal	Passing Juice
The Actual FPGA Design Process	Internal	Passing Juice
Building a simple wishbone slave	Internal	Passing Juice
Bus Select Lines	Internal	Passing Juice
FFT debugging	Internal	Passing Juice
Debugging an FPGA through the serial port--first steps	Internal	Passing Juice
That first serial port: Debugging when you are blind	Internal	Passing Juice
Building a simple bus	Internal	Passing Juice
Moving to memory	Internal	Passing Juice
A Vision for Controlling FPGA Logic	Internal	Passing Juice
Which comes first: the CPU or the peripherals?	Internal	Passing Juice
Knight Rider	Internal	Passing Juice
FPGA Hell	Internal	Passing Juice
Blinky	Internal	Passing Juice
Most common Digilent FPGA support requests	Internal	Passing Juice
Cannot be done	Internal	Passing Juice
Welcome to the ZipCPU blog!	Internal	Passing Juice
via RSS	Internal	Passing Juice

SEO Keywords

Keywords Cloud

courses more mainstream zipcpu how opensource design left fpga often

Keywords Consistency

Keyword	Content	Title	Keywords	Description	Headings
fpga	4
zipcpu	4
design	4
how	2
opensource	1

Usability

Url

Domain : zipcpu.com

Length : 10

Favicon

Great, your website has a favicon.

Printability

We could not find a Print-Friendly CSS.

Language

You have not specified the language. Use this free meta tags generator to declare the intended language of your website.

Dublin Core

This page does not take advantage of Dublin Core.

Document

Doctype

HTML 5

Encoding

Perfect. Your declared charset is UTF-8.

W3C Validity

Errors : 0

Warnings : 0

Email Privacy

Warning! At least one email address has been found in the plain text. Use free antispam protector to hide email from spammers.

Deprecated HTML

Great! We haven't found deprecated HTML tags in your HTML.

Speed Tips

	Excellent, your website doesn't use nested tables.
	Perfect. No inline css has been found in HTML tags!
	Great, your website has few CSS files.
	Perfect, your website has few JavaScript files.
	Perfect, your website takes advantage of gzip.

Mobile

Mobile Optimization

	Apple Icon
	Meta Viewport Tag
	Flash content

Optimization

XML Sitemap

Missing

Your website does not have an XML sitemap - this can be problematic.

A sitemap lists URLs that are available for crawling and can include additional information like your site's latest updates, frequency of changes and importance of the URLs. This allows search engines to crawl the site more intelligently.

Robots.txt

https://zipcpu.com/robots.txt

Great, your website has a robots.txt file.

Analytics

Great, your website has an analytics tool.

Google Analytics

PageSpeed Insights

Device

Desktop

Mobile

Free SEO Testing Tool

Free SEO Testing Tool is a free SEO tool which provides you content analysis of the website.

Website review zipcpu.com

The ZipCPU by Gisselquist Technology

SEO Content

SEO Links

SEO Keywords

Usability

Document

Mobile

Optimization

PageSpeed Insights

Device

Categories

Free SEO Testing Tool