search

GaloisInc / BESSPIN-CloudGFE

The AWS cloud deployment of the BESSPIN GFE platform.
Apache License 2.0
2 stars 2 forks source link

AWSteria GFE Tandem Verification (if needed) #61

Open rsnikhil opened 4 years ago

rsnikhil commented 4 years ago

This is low priority, to be done only if there is a demand for it. Note: TV data is a unidirectional high-bandwidth stream from HW to host-side.

Possible Approach 1: In AWSteria, it's easy to connect the TV stream into the 512b-wide fabric that talks to the AWS DMA_PCIS port. Host-side would have to continuously 'read' to pull out TV data stream. The HW-side here is easy; just need to add host-side code to pull data.

Possible Approach 2: Add support for the AWS PCIM port (512b wide, DMA) to 'push' TV data to the host.

Possible Approach 3: We are only using AWS DDR A (16 GB) for GFE memory. We could record the TV data in DDRs B, C and D (16GB each), and pull them out using DMA.

rsnikhil commented 4 years ago

No recent progress on this. DMA from HW to host exists, needs to be hooked up (either directly to the Tandem-Verification stream, or via DDR4) to be able to record it on the host-side.

kiniry commented 4 years ago

No one is asking for tandem verification support for the moment, so I'm pulling this issue's milestone.

rsnikhil commented 4 years ago

Added capability to record TV traces to a file in simulation, which can be checked with an offline Tandem Verifier.