Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

serial: A proposal to add verification using formal tools #4

Open
wants to merge 12 commits into
base: serial
Choose a base branch
from

Commits on Oct 29, 2019

  1. Configuration menu
    Copy the full SHA
    36f3051 View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2019

  1. Configuration menu
    Copy the full SHA
    aea6292 View commit details
    Browse the repository at this point in the history

Commits on Nov 25, 2019

  1. serial: change RX state logic, add formal checks, remove FIFO simulation

    - RX now enters DONE state 1 clock earlier to avoid delay
    - RX now checks for one more bit (taking (divisor+1)-long time span) while making the received data ready for collection
    HarryMakes committed Nov 25, 2019
    Configuration menu
    Copy the full SHA
    c8d7604 View commit details
    Browse the repository at this point in the history

Commits on Dec 3, 2019

  1. Configuration menu
    Copy the full SHA
    8732bc2 View commit details
    Browse the repository at this point in the history

Commits on Dec 20, 2019

  1. Configuration menu
    Copy the full SHA
    b6d930f View commit details
    Browse the repository at this point in the history

Commits on Dec 24, 2019

  1. Configuration menu
    Copy the full SHA
    8e91edc View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2020

  1. serial: fix styling

    HarryMakes committed Jan 3, 2020
    Configuration menu
    Copy the full SHA
    d973f00 View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2020

  1. serial: add TX.continuous to control if there is a break between tx'es

    * `TX.continuous` is an externally driven Signal, resets to 0 (deasserted)
      * When asserted, TX assumes that `TX.data` is valid AT THE SAME TIME when the start bit starts to be sent out
      * When deasserted, TX assumes that `TX.data` is valid BEFORE the start bit is sent, and AT THE SAME TIME when `TX.ack` is asserted
    HarryMakes committed Jan 17, 2020
    Configuration menu
    Copy the full SHA
    bdd32d7 View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2020

  1. Configuration menu
    Copy the full SHA
    f64d8d7 View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2020

  1. Configuration menu
    Copy the full SHA
    81f6356 View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2020

  1. serial: fix bitstream test to add variable delay before the extra bit

    * This FV case now inserts any delay (0 - divisor+1) between the final bit and the start bit (0) of the next sequence.
    Harry Ho committed Apr 23, 2020
    Configuration menu
    Copy the full SHA
    46dac6a View commit details
    Browse the repository at this point in the history
  2. serial: add docstring, remove done for TX

    Harry Ho committed Apr 23, 2020
    Configuration menu
    Copy the full SHA
    b72b54e View commit details
    Browse the repository at this point in the history