Refine
Document Type
- Other (3) (remove)
Language
- English (3) (remove)
Has Fulltext
- yes (3)
Keywords
- ADAU 1761 (1)
- Accountability (1)
- Audio (1)
- Governance (1)
- Hardware (1)
- Nonprofit Organizations (1)
- Zedboard (1)
- Zynq (1)
- coverage (1)
- digital integrated circuit (1)
Faculty / Organisational entity
The dissertation describes a practically proven, particularly efficient approach for the verification of digital circuit designs. The approach outperforms simulation based verification wrt. final circuit quality as well as wrt. required verification effort. In the dissertation, the paradigm of transaction based verification is ported from simulation to formal verification. One consequence is a particular format of formal properties, called operation properties. Circuit descriptions are verified by proof of operation properties with Interval Property Checking (IPC), a particularly strong SAT based formal verification algorithm. Furtheron, a completeness checker is presented that identifies all verification gaps in sets of operation properties. This completeness checker can handle the large operation properties that arise, if this approach is applied to realistic circuits. The methodology of operation properties, Interval Property Checking, and the completeness checker form a symbiosis that is of particular benefit to the verification of digital circuit designs. On top of this symbiosis an approach to completely verify the interaction of completely verified modules has been developed by adaptation of the modelling theories of digital systems. The approach presented in the dissertation has proven in multiple commercial application projects that it indeed completely verifies modules. After reaching a termination criterion that is well defined by completeness checking, no further bugs were found in the verified modules. The approach is marketed by OneSpin Solutions GmbH, Munich, under the names "Operation Based Verification" and "Gap Free Verification".
As there is a rising interest in accountability issues and governance in nonprofit organizations,
this work aims to give some notions on the context of these two topics. Hence,
within this work, a theoretical framework is developed, whereby the correlation of accountability
and governance in nonprofit organizations shall be measured. This framework
suggests, that in nonprofit organizations, nonprofit governance, represented by
board members and professionals, has an influence on compliance, as a component of
accountability. In respect to the board members, it is supposed that, board competence,
transparency, stakeholder relationship and (public) trust are positively related to compliance.
Furthermore, it is assumed, referring to professionals, that the variables performance,
training or development and satisfaction are positively and empowerment is
negatively correlated with compliance. These assumptions are based on a thorough theoretical
literature research. Furthermore, a questionnaire is designed to measure the correlations.
This questionnaire will be amplified in a discussion following to the explanation
of the research model. Concluding, some limitations on the research model are given,
which should be taken into account by undertaking the questionnaire.