NDLI: Conjugate symmetry

Content Provider	Springer Nature Link
Author	Maurer, Peter M.
Copyright Year	2011
Abstract	Conjugate symmetry is an entirely new approach to symmetric Boolean functions that can be used to extend existing methods for handling symmetric functions to a much wider class of functions. These are functions that currently appear to have no symmetries of any kind. Conjugate symmetries occur widely in practice. In fact, we show that even the simplest circuits exhibit conjugate symmetry. To demonstrate the effectiveness of conjugate symmetry we modify an existing simulation algorithm, the hyperlinear algorithm, to take advantage of conjugate symmetry. This algorithm can simulate symmetric functions faster than non-symmetric ones, but due to the rarity of symmetric functions, this optimization is of limited benefit. Because the standard benchmark circuits contain many symmetries it is possible to simulate these circuits faster than is possible with the fastest known event-driven algorithm. The detection and exploitation of conjugate symmetries makes use of GF(2) matrices. It is likely that conjugate symmetry and GF(2) matrices will find applications in many other areas of EDA.
Starting Page	263
Ending Page	288
Page Count	26
File Format	PDF
ISSN	09259856
Journal	Formal Methods in System Design
Volume Number	38
Issue Number	3
e-ISSN	15728102
Language	English
Publisher	Springer US
Publisher Date	2011-03-30
Publisher Place	Boston
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Symmetric Boolean functions Logic simulation Software Engineering/Programming and Operating Systems Computer-Aided Engineering (CAD, CAE) and Design Electrical Engineering Circuits and Systems
Content Type	Text
Resource Type	Article
Subject	Theoretical Computer Science Software Hardware and Architecture

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Constructive Boolean circuits and the exactness of timed ternary simulation

Context-aware counter abstraction

2009 CAV award announcement

From liveness to promptness

Counterexample-guided abstraction refinement for symmetric concurrent programs

The CAV award

Verisym: Verifying Circuits by Symbolic Simulation

Exploring structural symmetry automatically in symbolic trajectory evaluation

Why does Astrée scale up?

Conjugate symmetry

Similar Documents

Constructive Boolean circuits and the exactness of timed ternary simulation

Context-aware counter abstraction

2009 CAV award announcement

From liveness to promptness

Counterexample-guided abstraction refinement for symmetric concurrent programs

The CAV award

Verisym: Verifying Circuits by Symbolic Simulation

Exploring structural symmetry automatically in symbolic trajectory evaluation

Why does Astrée scale up?

Conjugate symmetry