title: Data structures for Z testing tools.

authors: Utting, Mark

abstract: This paper describes some of the difficulties and challenges that arise during the design of tools for validating Z specifications by testing and animation. We address three issues: handling undefined terms, simplification versus enumeration, and the representation of sets, and show how each issue has been handled in the Jaza tool.
Finally, we report on a brief experimental comparison of existing Z animators and conclude that while the state of the art is improving, more work is needed to ensure that the tools are robust and respect the Z semantics.

text: Data structures for Z testing tools. This paper describes some of the difficulties and challenges that arise during the design of tools for validating Z specifications by testing and animation. We address three issues: handling undefined terms, simplification versus enumeration, and the representation of sets, and show how each issue has been handled in the Jaza tool.
Finally, we report on a brief experimental comparison of existing Z animators and conclude that while the state of the art is improving, more work is needed to ensure that the tools are robust and respect the Z semantics.

year: 2001-06-01

title: A comparison of verilog synthesis frontends

authors: Stokes, Daniel

subjects: software engineering

abstract: A crucial consideration in choosing a frontend synthesis tool is the quality of the synthesised result. This kind of benchmarking is critical to choosing a fit-for-purpose tool. However, to the best of the authors’ knowledge, the only comparison of Odin II, the front-end of Verilog-to-Routing, and another synthesis tool was focused primarily on Odin II and Yosys’ performance with respect to commercial counterparts in the Xilinx ISE tool. Further, such an evaluation is to improve confidence in research findings utilising these tools. The quality of results for a poorly optimised research tool may not reflect the performance of real-world applications, adding uncertainty to any findings and requiring extra work from the researcher to obtain valid results. We compare Odin II and Yosys targeting the Xilinx Artix-7 architecture provided by SymbiFlow.

text: A comparison of verilog synthesis frontends A crucial consideration in choosing a frontend synthesis tool is the quality of the synthesised result. This kind of benchmarking is critical to choosing a fit-for-purpose tool. However, to the best of the authors’ knowledge, the only comparison of Odin II, the front-end of Verilog-to-Routing, and another synthesis tool was focused primarily on Odin II and Yosys’ performance with respect to commercial counterparts in the Xilinx ISE tool. Further, such an evaluation is to improve confidence in research findings utilising these tools. The quality of results for a poorly optimised research tool may not reflect the performance of real-world applications, adding uncertainty to any findings and requiring extra work from the researcher to obtain valid results. We compare Odin II and Yosys targeting the Xilinx Artix-7 architecture provided by SymbiFlow.

year: 2021

title: Te Kuranui

authors: Maxwell, Te Kahautu

abstract: Ko te tūāpapa o tēnei kōrero Te Kuranui he titiro ki te tūāpapa o Ōpōtiki Mai Tawhiti kapa haka. He aha te take i whakatūngia ai tēnei Kuranui e karangatia ana ko Ōpōtiki Mai Tawhiti? Hai tāhūhū mō tēnei tuhinga raurūtia tēnei kupu whakaari a Te Kōoti Arikirangi; “He Kura hoki ahau”, me tēnei wehenga o te mōteatea nāna; Te Pono ki runga rā, te ara mai o te tika. Tukua mai ki raro nā te maungarongo; te whana i tū ai nā te kotahitanga; te aroha i mau ai. Ana ko te Kupu Whakaari nei; He Kura hoki ahau he wewete i tēnei Kupu Whakaari kia kite i te hōhonu o te tikanga ōna hai whakatamārama i tō Te Kōoti wawata hai kura i tana iwi Ringatū me tā te kaituhi whakaraupapa i ēnei kura ki roto i te whakairotanga i te Kuranui nei.
Ka rua kua tātaritia tēnei wehenga o te mōteatea nei kia rima ōna wāhanga hai taki i tēnei tuhinga epā ana ki te Kuranui nei a Ōpōtiki Mai Tawhiti. Tuatahi Te Pono ki runga rā, ka titiro ki te kaituhi nei me tōna whakatipuranga i ōna kaumātua me ō rātou kuranga i a ia kia tohenihorau ki tōna ao Māori. He kuranga ēnei hai maungāngākau, maungāhinengaro ki te whakaturuki i te Kuranui a Ōpōtiki Mai Tawhiti. Te ara mai o te tika, ko te whakatūtanga o te kapa haka nei a Ōpōtiki Mai Tawhiti te Kuranui,arā te whakapaparanga mai i te kapa i tōna tīmatatanga ki te wā tonu nei. Tukua mai ki raro nā te maungarongo; ko te whakapono tēnei wāhanga, ko te ū o Ōpōtiki Mai Tawhiti ki tēnei kura a Te Kooti Arikirangi. Te whana i tū ai nā te kotahitanga;ko te titiro ki te pouārahi me te whakapau kaha ki te tuitui i ngā whakaaro o te katoa, ko te ranga i te iwi, ko te pupuri i te iwi, i te kapa haka ki tōna, rautaki, whāinga ko te whakakotahitanga i te iwi i raro i te kaupapa o Ōpōtiki Mai Tawhiti. Te aroha i mau ai, ko te aroha ki te iwi, ko te aroha ki te kaupapa, ko te whakaū, whakapūmau i te moemoeā kia whakahokia mai te toheariki ki te iwi kia tū toherauariki a Te Whakatōhea i raro i te korowai o Ōpōtiki Mai Tawhiti.

text: Te Kuranui Ko te tūāpapa o tēnei kōrero Te Kuranui he titiro ki te tūāpapa o Ōpōtiki Mai Tawhiti kapa haka. He aha te take i whakatūngia ai tēnei Kuranui e karangatia ana ko Ōpōtiki Mai Tawhiti? Hai tāhūhū mō tēnei tuhinga raurūtia tēnei kupu whakaari a Te Kōoti Arikirangi; “He Kura hoki ahau”, me tēnei wehenga o te mōteatea nāna; Te Pono ki runga rā, te ara mai o te tika. Tukua mai ki raro nā te maungarongo; te whana i tū ai nā te kotahitanga; te aroha i mau ai. Ana ko te Kupu Whakaari nei; He Kura hoki ahau he wewete i tēnei Kupu Whakaari kia kite i te hōhonu o te tikanga ōna hai whakatamārama i tō Te Kōoti wawata hai kura i tana iwi Ringatū me tā te kaituhi whakaraupapa i ēnei kura ki roto i te whakairotanga i te Kuranui nei.
Ka rua kua tātaritia tēnei wehenga o te mōteatea nei kia rima ōna wāhanga hai taki i tēnei tuhinga epā ana ki te Kuranui nei a Ōpōtiki Mai Tawhiti. Tuatahi Te Pono ki runga rā, ka titiro ki te kaituhi nei me tōna whakatipuranga i ōna kaumātua me ō rātou kuranga i a ia kia tohenihorau ki tōna ao Māori. He kuranga ēnei hai maungāngākau, maungāhinengaro ki te whakaturuki i te Kuranui a Ōpōtiki Mai Tawhiti. Te ara mai o te tika, ko te whakatūtanga o te kapa haka nei a Ōpōtiki Mai Tawhiti te Kuranui,arā te whakapaparanga mai i te kapa i tōna tīmatatanga ki te wā tonu nei. Tukua mai ki raro nā te maungarongo; ko te whakapono tēnei wāhanga, ko te ū o Ōpōtiki Mai Tawhiti ki tēnei kura a Te Kooti Arikirangi. Te whana i tū ai nā te kotahitanga;ko te titiro ki te pouārahi me te whakapau kaha ki te tuitui i ngā whakaaro o te katoa, ko te ranga i te iwi, ko te pupuri i te iwi, i te kapa haka ki tōna, rautaki, whāinga ko te whakakotahitanga i te iwi i raro i te kaupapa o Ōpōtiki Mai Tawhiti. Te aroha i mau ai, ko te aroha ki te iwi, ko te aroha ki te kaupapa, ko te whakaū, whakapūmau i te moemoeā kia whakahokia mai te toheariki ki te iwi kia tū toherauariki a Te Whakatōhea i raro i te korowai o Ōpōtiki Mai Tawhiti.

year: 2014-09-27