dgrnbrg/piplin — Issue #10: Binary to symbolic conversion
Author: dgrnbrg
Created: 2012-02-17 01:33:25+00:00
State: open

Currently, there is a get-bits function that provides ways to serialize a number of types. There needs to be a corresponding deserialize function and all types must have a means to generate serialization/deserialization code.

Related to this is the lowering of the symbolic AST to the synthesizable AST, which will involve replacing high-level operations, like bundle key accesses, to low-level operations, like bit-slice and bit-cat.