<div class="csl-bib-body">
<div class="csl-entry">Wolf, C. X. (2026). The Parable of the Square-Dancing Witches and Wizards. In B. Dutertre & B. Könighofer (Eds.), <i>Proceedings of the 26th Conference on Formal Methods in Computer-Aided Design – FMCAD 2026</i> (pp. 3–3). TU Wien Academic Press. https://doi.org/10.34727/2026/isbn.978-3-85448-093-8_3</div>
</div>
In this presentation I will tell The Parable of the Square-Dancing Witches and Wizards. This parable explains how to perform the bit-permutation operation that compresses the selected bits to the LSB end of the word, while the remaining bits are pushed to the MSB end of the word in reversed bit order. This operation is referred to as “sheep and goats” (SAG) operation with reversed goat bits by other authors, in reference to The Parable of the Sheep and the Goats, found in Matthew 25:31-46. Mentalising and discussing routing networks using symbolism from scripture is awkward or even problematic for many reasons. The Parable of the Square-Dancing Witches and Wizards on the other hand is loosely based on symbolisms from The Wizard of Oz, and does not only provide a mental image for what this bit-permutation operation does, but also how that can be achieved in an efficient manner using a Reverse Omega Network.
en
dc.language.iso
en
-
dc.rights.uri
http://creativecommons.org/licenses/by/4.0/
-
dc.subject
formal methods
en
dc.subject
computer-aided system design
en
dc.subject
hardware and system verification
en
dc.title
The Parable of the Square-Dancing Witches and Wizards
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
Creative Commons Namensnennung 4.0 International
de
dc.rights.license
Creative Commons Attribution 4.0 International
en
dc.identifier.doi
10.34727/2026/isbn.978-3-85448-093-8_3
-
dc.contributor.affiliation
YosysHQ, Vienna
-
dc.contributor.editoraffiliation
Amazon Web Services
-
dc.contributor.editoraffiliation
Graz University of Technology (Graz, AT)
-
dc.relation.isbn
978-3-85448-093-8
-
dc.description.volume
7
-
dc.description.startpage
3
-
dc.description.endpage
3
-
dc.rights.holder
the author
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
2708-7824
-
tuw.booktitle
Proceedings of the 26th Conference on Formal Methods in Computer-Aided Design – FMCAD 2026
-
tuw.peerreviewed
true
-
tuw.relation.ispartof
10.34727/2026/isbn.978-3-85448-093-8
-
tuw.relation.publisher
TU Wien Academic Press
-
tuw.book.chapter
3
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.id
C5
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.name
Computer Science Foundations
-
tuw.researchTopic.value
40
-
tuw.researchTopic.value
40
-
tuw.researchTopic.value
20
-
tuw.publication.orgunit
E000 - Technische Universität Wien
-
dc.identifier.libraryid
AC17999045
-
dc.description.numberOfPages
1
-
tuw.relation.ispartoftuwseries
Conference Series: Formal Methods in Computer-Aided Design