Open-CMSIS-Pack-dev

open-cmsis-pack-dev@op-lists.linaro.org

1 participants
123 discussions

by David Jurajda

Hi all, We are currently discussing software componentization on several scope levels: * General discussion about componentization without direct relation to specific existing description format or solution. * Minimal Viable Product (MVP) related discussion, where MVP is defined as minimalistic CLI tool which should be able to assemble buildable project from SW components. * CMSIS pack specific discussion with focus on gaps identification. I would like to share few resources and observations related to dependency resolution as part of general discussion. There is segment of tools called EDA<https://en.wikipedia.org/wiki/Electronic_design_automation>. Such tools use various design rules checkers based on logic rules evaluation. Another segment is design of logic circuits<https://en.wikipedia.org/wiki/Logic_gate> especially area of circuit optimization<https://en.wikipedia.org/wiki/Logic_optimization#Circuit_minimization_in_Bo…>. Optimization could be done by application of Boolean algebra<https://en.wikipedia.org/wiki/Boolean_algebra> or by more user friendly methods listed in switching circuit theory<https://en.wikipedia.org/wiki/Switching_circuit_theory>. Specific methods of optimization are: * Karnaugh map<https://en.wikipedia.org/wiki/Karnaugh_map> * Quine-McCluskey algorithm<https://en.wikipedia.org/wiki/Quine%E2%80%93McCluskey_algorithm> * Espresso minimizer<https://en.wikipedia.org/wiki/Espresso_heuristic_logic_minimizer> Result of those methods is minimized standard expression. Dependency resolver should be able to transform expression into minimized standard form. Another typical issue is Boolean satisfiability problem <https://en.wikipedia.org/wiki/Boolean_satisfiability_problem> (SAT). Dependency resolver should be able to validate whether expression could be resolved. Example libraries and references: * PyEDA<https://pyeda.readthedocs.io/en/latest/expr.html#from-constants-variables-a…> (example of Boolean manipulation) * https://doc.opensuse.org/projects/satsolver/11.4/ * http://www.lifl.fr/LION9/presentation_orator/lion9.pdf * Solving Linux Upgradeability Problems Using Boolean Optimization<https://arxiv.org/pdf/1007.1021.pdf> * https://www.cril.univ-artois.fr/documents/nanjing-leberre.pdf * https://www.sat4j.org/ This is result of brief research, I have no personal experience with SAT libraries. Do you have any specific experience with SAT ? Regards, David David Jurajda Software Engineer MCU Software NXP Semiconductors david.jurajda(a)nxp.com<mailto:david.jurajda@nxp.com> [http://bigm.ea.freescale.net/microsites/guide/nxp_secure.png]

3 years, 6 months

Cancelled event with note: Open-CMSIS-Pack WG Meeting @ Tue 22 Jun 2021 15:00 - 16:00 (BST) (open-cmsis-pack-dev@op-lists.linaro.org)

by Bill Fletcher

This event has been cancelled with this note: "Cancelled because of the Arm CMSIS review call on the same day. " Title: Open-CMSIS-Pack WG Meeting Migration to Linaro meeting invite from 8th June When: Tue 22 Jun 2021 15:00 – 16:00 United Kingdom Time Joining info: Join with Google Meet https://meet.google.com/std-wejh-jgi?hs=224 Join by phone (GB) +44 20 3910 5397 (PIN: 790256432) More phone numbers: https://tel.meet/std-wejh-jgi?pin=2754594436210&hs=0 Calendar: open-cmsis-pack-dev(a)op-lists.linaro.org Who: * Bill Fletcher- organiser * Anmar Oueja * mark.hicken(a)arm.com * Reed Hinkel * Laurent MEUNIER * Daniel Brondani * Bartek Szatkowski * open-cmsis-pack-dev(a)op-lists.linaro.org * Stanislav Pobořil * Tarek BOCHKATI * Petr Hradsky * Maureen Helm * David Jurajda Invitation from Google Calendar: https://calendar.google.com/calendar/ You are receiving this courtesy email at the account open-cmsis-pack-dev(a)op-lists.linaro.org because you are an attendee of this event. To stop receiving future updates for this event, decline this event. Alternatively, you can sign up for a Google Account at https://calendar.google.com/calendar/ and control your notification settings for your entire calendar. Forwarding this invitation could allow any recipient to send a response to the organiser and be added to the guest list, invite others regardless of their own invitation status or to modify your RSVP. Learn more at https://support.google.com/calendar/answer/37135#forwarding

3 years, 6 months

Invitation: Open-CMSIS-Pack WG Meeting @ Weekly from 15:00 to 16:00 on Tuesday (BST) (open-cmsis-pack-dev@op-lists.linaro.org)

by Bill Fletcher

You have been invited to the following event. Title: Open-CMSIS-Pack WG Meeting Migration to Linaro meeting invite from 8th June When: Weekly from 15:00 to 16:00 on Tuesday United Kingdom Time Joining info: Join with Google Meet https://meet.google.com/std-wejh-jgi?hs=224 Join by phone (GB) +44 20 3910 5397 (PIN: 790256432) More phone numbers: https://tel.meet/std-wejh-jgi?pin=2754594436210&hs=0 Calendar: open-cmsis-pack-dev(a)op-lists.linaro.org Who: * Bill Fletcher- organiser * Anmar Oueja * open-cmsis-pack-dev(a)op-lists.linaro.org * mark.hicken(a)arm.com Event details: https://calendar.google.com/calendar/event?action=VIEW&eid=NWVmbTUzNmlzYWcw… Invitation from Google Calendar: https://calendar.google.com/calendar/ You are receiving this courtesy email at the account open-cmsis-pack-dev(a)op-lists.linaro.org because you are an attendee of this event. To stop receiving future updates for this event, decline this event. Alternatively, you can sign up for a Google Account at https://calendar.google.com/calendar/ and control your notification settings for your entire calendar. Forwarding this invitation could allow any recipient to send a response to the organiser and be added to the guest list, invite others regardless of their own invitation status or to modify your RSVP. Learn more at https://support.google.com/calendar/answer/37135#forwarding

3 years, 7 months

2024

2023

2022

2021

Open-CMSIS-Pack-dev