Basic Measurement for One Connective of Distributed Logic
Abstract
This is a report on measuring the distributed possibility connective of Distributed Logic for FPGA applications. The measurement apparatus is particularly well suited for measuring how well a spider is tracking an FPGA application. The mathematics works with regular conditional probability distributions also known as Markov kernels; these are measurable relations in one variable and subprobability measures in another. They satisfy a certain equation and are actually arrows in a category of sigma-lattices as objects, SRel. A subprobability measure is one where the requirement is only that the value of the underlying ambient space less than or equal to 1, not precisely equal to 1. Requiring equality to 1turns out to be too restrictive. All categories have composition of arrows as one of their basic laws. SRel has a specific prescription for how to compose relations and this turns out to be one of the ingredients required to measure simulation conditions.
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 17, 2023
- Accession Number
- AD1208904
Entities
People
- Christopher Belmonte
- Gerard Allwein
Organizations
- United States Naval Research Laboratory