Describe your feature request.
Support automatic serialization/deserialization of ILA models with hierarchy.
Describe the solution you'd like
Ser/Des hierarchy information (parent/child edges) for dynamic linking.
Additional context
State variable and uninterpreted function sharing need to be carefully handled.
Describe your feature request.
Support automatic serialization/deserialization of ILA models with hierarchy.
Describe the solution you'd like
Ser/Des hierarchy information (parent/child edges) for dynamic linking.
Additional context
State variable and uninterpreted function sharing need to be carefully handled.