[sv-bc] always_comb question

Suppose I have an always_comb which uses an intermediate variable, like

always_comb
begin
    a = b & c ;
    d = a & e ;
end

My understanding is that "a" will not be in the implicit sensitivity list, as
listed in the exceptions in 9.2.1(2):

"any expression that is also written within the block or within any function
called within the block."

Also, it will be illegal to have an assignment to "a" in another process. 9.2
says,
"Variables on the left-hand side of assignments within an always_comb procedure,
including variables from the contents of a called function, shall not be written
to by any other processes."

My question is, will it be illegal to do a "force" on "a", say in simulator
interactive mode?

If not, what will happen?

Thanks,
Shalom

--
Shalom Bresticker                        Shalom.Bresticker @freescale.com
Design & Reuse Methodology                           Tel: +972 9  9522268
Freescale Semiconductor Israel, Ltd.                 Fax: +972 9  9522890
POB 2208, Herzlia 46120, ISRAEL                     Cell: +972 50 5441478
[ ]Freescale Internal Use Only      [ ]Freescale Confidential Proprietary